从混沌到秩序的转变是感知的本质。
判断两个λ表达式是否等价的问题是无法解决的。
Ignoring isn’t the same as ignorance, you have to work at it.
I've learned that success is not about the destination, but the journey.
我不是政治家,我是表演者。