A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).