The art of progress is to preserve order amid change and to preserve change amid order.
我想建立一些属于自己的东西,一些我可以指着说,这是我做的。这是我看到的唯一让生活有意义的方式。
判断两个λ表达式是否等价的问题是无法解决的。