判断两个λ表达式是否等价的问题是无法解决的。
The line between madness and genius is drawn by those who fear both.
I'm not a person who believes in regrets. I believe in living in the moment and making the most of it.
The writer’s life is a meaningless question. I’m interested in the books.