The less you need, the freer you become.
你所需要的越少,你就越自由。
我被抒情诗、短诗所吸引,在那里每一个词都必须精确。
一个科学家的真正价值是由超越他的学生数量来衡量的。
我喜欢把数学看作一种诗歌。
判断两个λ表达式是否等价的问题是无法解决的。