λ演算本质上是一个关于函数及其应用的理论。
The world is a mirror, and we see in it what we are.
Art is a way of asking the questions that society is afraid to ask.