判断两个λ表达式是否等价的问题是无法解决的。
Cada palabra escrita es un acto de libertad.
心智通过练习而非被动吸收而成长。
Don't just fight in the North or the South. Always imagine every battle in your mind, where everyone is both your enemy and your friend, and all possible events happen simultaneously. That way, nothing will take you by surprise, and everything that happens will be something you've already imagined.