判断两个λ表达式是否等价的问题是无法解决的。
梦想是免费的,但奋斗需要付出代价。
你的心脏不跳是因为我。
The tragedy of life is not that the beautiful things die young, but that they grow old and mean.