略知一点哲学可能使人倾向于无神论,但深刻的哲学可能使人回归到宗教。
判断两个λ表达式是否等价的问题是无法解决的。
I don't want to be a teacher. I want to be a friend.
"Stories are the way we make sense of the past and imagine the future."
我一直对救赎和第二次机会的想法感兴趣。