The most important thing is to have a good heart and a good attitude.
判断两个λ表达式是否等价的问题是无法解决的。
We must remember that in nature there are neither rewards nor punishments—there are consequences.
过去总是紧张的,未来是完美的。