Haskell implementation of Core Language described in the Implementing Functional Languages book - View it on GitHub