A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
Primary LanguageHaskell