发现可能性的极限的唯一方法就是超越它们进入不可能。
λ演算是一种表示函数及其应用的形式体系。
A dreamer is one who can only find his way by moonlight, and his punishment is that he sees the dawn before the rest of the world.
I am a bad feminist, but I am a feminist.