找到方法。
判断两个λ表达式是否等价的问题是无法解决的。
"The past is never dead. It's not even past."
可持续性不是一种选择,而是我们对后代的责任。
When you work on hard problems long enough, you start to see connections where others see only confusion.
Truth may be suppressed, but never destroyed.
The past is a foreign country; they do things differently there.