如果我们用耕种土地的方式耕种海洋,我们将重蹈覆辙。
If we farm the sea the way we farm the land, we will repeat the same mistakes.
The rocks may be hard, but our resolve must be harder.
λ演算是一种表示函数及其应用的形式体系。
每一天都是变得更好的机会。不要浪费它。