Education begins the gentleman, but reading, good company and reflection must finish him.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The greatest theorems often start as simple conjectures, born out of intuition.
美团早期Slogan,源自王兴对团队的要求