λ演算是一种表示函数及其应用的形式体系。
Every man's own satisfaction is the centre of all that he looks at.
创新既需要勇气,也需要耐心。
To write is to make sense of the chaos.
The only way to do great work is to love what you do.