判断两个λ表达式是否等价的问题是无法解决的。
"Language is the only homeland."
Every story is a story about death.
故事的力量在于它能够连接我们。
Legal rights are not merely the shadows of legal duties.