It is an interpreter of the Unlambda language, written in the pure, lazy, functional language Haskell.