The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
生活是一系列无尽的重复，每一次都比上一次更无意义。
如果我们不创造并控制我们的环境，我们的环境就会创造并控制我们。
我不是说唱歌手，我是一个欧洲的传奇。
站在风口上，猪都能飞起来。
Every day is a new opportunity to change your life.
我们把男人当成神，他们却离我们而去；有些把男人当成畜生，他们反倒摇尾乞悯，而且忠心耿耿。