在触及音乐之前,你必须先拒绝某种人性的表达。
判断两个λ表达式是否等价的问题是无法解决的。
The men who learn endurance, are they who call the whole world, brother.
The best way to predict the future is to create it.