View source code on GitHub
The lambda calculus provides a concise notation for computable functions, which means it can be used as a bare-bones programming language.
The backslash key \ will type a lambda character (λ)