The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
人体首先是灵魂的镜子,艺术的最大成就是使这面镜子反映真相。
Every seed planted is a promise to the future.