A quick guide to the example code --------------------------------- All the code compiles with GHC 7.10 RC2. The package itself compiles with 7.8, but the pattern synonyms used in the examples require 7.10. QuickCheck.hs contains an artificial benchmark for the MultiRec code. In the examples folder there are many other examples. The best way to test these is to load each of them in GHCi as follows: > ghci -iexamples examples\Expr.hs examples/Expr.hs The Expr example shown in the paper examples/MultiRec.hs The AST example shown in the paper examples/Regular.hs Examples using the Regular library examples/LUA.hs The Lua code example shown in the paper.