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

判断两个λ表达式是否等价的问题是无法解决的。
Fear can hold you prisoner,hope can set you free.A strong man can save himself,a great man can save others.