Text this: Combinators, -terms and proof theory.