λ演算本质上是一个关于函数及其应用的理论。
正是通过观察和反思的力量,人们才能找到方法。所以我们必须不断挖掘和钻研。
I'm not afraid to say that I want to be the greatest of all time.