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