Parser and solver for the lambda calculus written in HTML 5 and JavaScript.