λ演算本质上是一个关于函数及其应用的理论。
The most powerful tools are those that empower others.
我不断地被塑造和重塑。不同的人从我这里引出不同的话语。
一个人读什么样的书,就是什么样的人。
Reputation is what other people know about you. Honor is what you know about yourself.