判断两个λ表达式是否等价的问题是无法解决的。
企业的成功不在于拥有多少资源,而在于如何有效地利用这些资源。
It is no good to try to stop knowledge from going forward. Ignorance is never better than knowledge.
试图阻止知识前进是没有好处的。无知永远不比知识好。
The rocks we cut today will outlive us all - that's why legacy matters in this industry.