—— 请按键盘 空白键 开始游戏 ——

The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The fragility of an artwork is often its greatest strength.
生命不是一个段落,死亡也不是一个括号。