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