"The best way to find out if you can trust somebody is to trust them."
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我只知道我什么都不知道。
Life would be infinitely happier if we could only be born at the age of eighty and gradually approach eighteen.