λ演算是一种表示函数及其应用的形式体系。
The secret of living is to own a convertible and a lake...If the sun is shining, you can rid around in your convertible and be happy...If it starts to rain, it won't spoil your day because you can just say, 'Oh, well, the rain will fill up my lake!'"”
A writer is someone who pays attention to the world.
The church has no power to enforce obedience, neither have any laws they made for that purpose, any binding force on anyone, but by his own consent.
Only the dead have seen the end of war