λ演算本质上是一个关于函数及其应用的理论。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
一念的疏忽是错误的开始,一念不能善始善终,便是错误到底。
"I am the author of my story. I decide the plot, the characters, and the ending."