我们都在寻找某些东西,有时候,我们找到的并不是我们预期的。
死亡终将是尽头,但生活充满了无限的可能。
A moment is a small piece of time, but it can be a very important piece of time.
判断两个λ表达式是否等价的问题是无法解决的。
There is nothing either good or bad, but thinking makes it so.