The greatest journeys are not measured in miles, but in moments that take your breath away.
判断两个λ表达式是否等价的问题是无法解决的。
我们总是希望在我们的程序中要说的是,所有已知语言都只能说得不好。
养儿子不教育就像养了一头蠢驴一样;养女儿不教育的话就像养了一头猪。
In every word, there is a world waiting to be discovered.