λ演算是一种表示函数及其应用的形式体系。

过去不是可以返回的地方，而是用来构建的材料。

"In the end, we are all just stories."

Validate your thoughts through actions.

每个结束都只是伪装的新开始。

The study of psychology is a journey into the depths of the human experience.

行动即性格。