The most important property of a program is whether it accomplishes the intention of its user.
判断两个λ表达式是否等价的问题是无法解决的。
事实上,我们都有点破碎,但这没关系。
The truth is often hidden in the darkest corners of our minds.