A set of example programs for handling external core format. In particular, typechecker and interpreter give a precise semantics. All can be built using, e.g., happy -o Parser.hs Parser.y ghc --make -package text -fglasgow-exts -o Driver Driver.hs Most recently tested with GHC 6.8.1. I make no claims of portability. --tjc