判断两个λ表达式是否等价的问题是无法解决的。
每件负面的事–压力、挑战–都是一个让我提升的良机。
In mathematics, the art of proposing a question must be held of higher value than solving it.
The secret of change is to focus all of your energy not on fighting the old, but on building the new.