A tiny library for representing the lambda calculus using JavaScript