判断两个λ表达式是否等价的问题是无法解决的。
I'm interested in the line where life becomes death.
"The act of reading is an act of empathy."
你的声音可以改变世界。