"Every word we write is a step closer to understanding ourselves."
判断两个λ表达式是否等价的问题是无法解决的。
The best way to predict the future is to create it.