The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
想要成为别人是对自己的一种浪费。
"The best stories are the ones that make you feel alive."