# sly sly is an interpreter for the pure untyped λ-calculus written in Haskell.