判断两个λ表达式是否等价的问题是无法解决的。
If everything was perfect, you would never learn and you would never grow.
大多数人死在二十或三十岁,此后他们只是自己的影子。
I don't let the world dull my sparkle.
感谢所有喜欢我音乐的人。