mikrokosmos (hackage): A didactic untyped lambda calculus interpreter.
Keywords: gpl|language|program|haskell|interpreter|lambda-calculus