1 A set of example programs for handling external core format.
3 In particular, typechecker and interpreter give a precise semantics.
5 All can be built using, e.g.,
7 happy -o Parser.hs Parser.y
8 ghc --make -package text -fglasgow-exts -o Driver Driver.hs