The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
Ever tried.Ever failed.No matter.Try Again.Fail again.Fail better.
在观察的领域中,机遇只偏爱那种有准备的头脑。
"Real museums are places where Time is transformed into Space."
The best way to get a project done faster is to start sooner.
质量从来不是偶然的;它始终是智慧努力的结果。
星星有故事要讲,而我们的任务就是倾听。
生命最伟大的礼物是能够想象它的另一种可能。