The beauty of life is, while we cannot undo what is done, we can see it, understand it, learn from it and change. So that every new moment is spent not in regret, guilt, fear or anger, but in wisdom, understanding and love.

"The past never leaves us; we carry it in our eyes and in our voices."

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。