λ

The untyped lambda calculus. This doesn’t actually work very well because the parser doesn’t account for the left-recursion.