判断两个λ表达式是否等价的问题是无法解决的。
I don't feel like I have to be a role model. I just want to be myself.
It is the client who knows what hurts, what directions to go, what problems are crucial, what experiences have been deeply buried.
The world is a great book, of which they that never stir from home read only a page.
你不是你的环境,你是你的可能性。