A modern syntax for the λ-calculus. - View it on GitHub