判断两个λ表达式是否等价的问题是无法解决的。
A writer’s job is to notice the things others miss.
词语是神圣的,滥用它们是一种罪孽。