No really, it's lambda calculus in a box. - View it on GitHub