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

判断两个λ表达式是否等价的问题是无法解决的。
Quality is not a technique, it is a philosophy.
"In the quantum world, information can exist in multiple states simultaneously - this is both our greatest challenge and our greatest opportunity."
我不是说唱歌手,我是一个南极的传奇。