A substitutional interpreter for the untyped call-by-name λ-calculus.