Lambda Calculus/Theory

This page provides some example functions.id = \x.x true = \x.(\y.x) // returns first false = \x.(\y.y) // returns second and = \x.(\y.x y false) // if true, returns y, else false or = \x.(\y.x true y) not = \x.(x false true) zero = false // \f.(\x.x) one = \fx.fx // \fx. is another way of writing \f.(\x.???) two = \fx.f(fx) // and so on and so forth... ................................... add = \ab.(\f.a f b)