判断两个λ表达式是否等价的问题是无法解决的。
我为什么要站到这儿,我站到讲台上,是想提醒我自己我们必须时刻用不同的眼光来看待事物。
你对自己了解得越多,对你在别人身上看到的东西就越有耐心。
I'm not afraid of losing, I'm afraid of not giving my best.