λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
在一个不断试图让你成为别人的世界里,最大的反叛就是做你自己。
Now, my mama always told me that miracles happen every day. Some people don't think so, but they do.