Every seed we plant today is a promise to future generations.
判断两个λ表达式是否等价的问题是无法解决的。
To do nothing is also a good remedy.
Mathematics is the language in which the universe is written.