A Haskell implementation of the LETREC language specification from the book Essentials of Programming Languages, 3rd edition, by Friedman and Wand.