This is a brief introduction to the lambda calculus and the interpreter, including executable example λ-calculus programs and source code; it should be used in conjunction with a book or other material.

let rec factorial = lambda n. if n=0 then 1 else n*factorial(n-1) in factorial 4 { this factorial covered by gnu GPL :-}



The toy Lambda Calculus interpreter can be run through the wwweb. You should read at least the sections down to and including Programming Techniques first. There are very tight limits set on the size and running time of programs that can be run in this way.