The only way to do great work is to love what you do.
判断两个λ表达式是否等价的问题是无法解决的。
改变你看待事物的方式,你看待的事物就会改变。
In the realm of perception, the whole is not only more than but also very different from the sum of its parts.