可持续性还不够——我们需要再生。
To live is the rarest thing in the world. Most people exist, that is all.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。