The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
愿这片美丽土地将永远、永远、永远不再发生人与人之间相互打压，以及遭全球唾弃的屈辱。让自由战胜一切。
人类的所有成就都源于创造性幻想。那么我们没有权利轻视想象力。
"A writer’s duty is to disturb the comfortable and comfort the disturbed."
If people did not sometimes do silly things, nothing intelligent would ever get done.
Knowledge is only useful if it’s applied.