Since (?:ECMA|Java)script supports closures, it is Lambda-calculus ready. I googled examples but there seems none so I made one. Welcome to the world of λ! Source: // define var zero = function(f){ return function(x){ return x}}; var succ = function(n){ return function(f){ return function(x){ return f(n(f)(x))}}}; var add = function(m){ return function(n){ return function(f){ return function(x){ r