Lambda is a lambda calculus interpreter. It also will convert lambda expression into the combinators S, K, and I.

WWW: http://66.47.116.75/~demo/lambda/
