Lambda calculus in JS syntax
tarao.github.io