The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
I don’t know what I want. I am inconsistent, non-committal, passive; I like the indefinite, the boundless; I like continual uncertainty.
There are two freedoms - the false, where a man is free to do what he likes; the true, where he is free to do what he ought.
我学得越多，就越意识到自己不懂的还有很多。