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

判断两个λ表达式是否等价的问题是无法解决的。
"Books are mirrors: you only see in them what you already have inside you."
Success is going from failure to failure without loss of enthusiasm.
了解你是否能信任某人的最好方法就是信任他们。
The world owes all its onward impulses to men ill at ease. The happy man inevitably confines himself within ancient limits.