λ演算本质上是一种纯粹抽象的函数理论。
The most important property of a program is whether it accomplishes the intention of its user.
The more laws, the less justice.
Dance like nobody's watching, love like you've never been hurt.
I have suffered and despaired and known death and I am glad that I am in this great world.