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

"The power of words is that they can change the world."
判断两个λ表达式是否等价的问题是无法解决的。
君子勇于改正错误,小人则文过饰非。