The value of a thought is in its consequences for behavior.
判断两个λ表达式是否等价的问题是无法解决的。
Freedom is not a gift, but a right that must be fought for.
我认为最重要的是要对自己真实。你必须诚实地面对自己是谁以及你想要什么。