做出伟大工作的唯一方法就是热爱你所做的事情。如果你还没有找到，继续寻找。不要安于现状。
The only way to do great work is to love what you do. If you haven't found it yet, keep looking. Don't settle.
Freedom can only be given to those who desire it.
我不相信运气。我相信准备遇到机会。
I don’t believe in an afterlife. This is it. Make the most of it.
判断两个λ表达式是否等价的问题是无法解决的。