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

I'm a true believer in karma. You get what you give, whether it's bad or good.
判断两个λ表达式是否等价的问题是无法解决的。