λλλλ Lennart Augustsson's λ-calculus cooked four ways - View it on GitHub