判断两个λ表达式是否等价的问题是无法解决的。
I’m not a guy that’s going to let my love for the money down.
最激动人心的突破往往来自意想不到的地方。
I don't do music for the fame or the money, I do it because I love it.