How to use:
- Install 'stack' (https://docs.haskellstack.org/en/stable/README/)
- In the directory where the repository lives, run
stack build --only-dependencies
- Now, run
stack ghci --ghci-options -XQuasiQuotes src/Examples.hs
You can now get the mutual recursion and algebraic types out of signatures with
ghci> runExample example
Some examples to try are "fgh","treeforest","onlyList", "multi", and "(generate (veryDense 3))". See also the function "generate" in Examples.hs. You can parse declarations of algebraic types using the quasiquoter, as in
ghci> list_decl = algDecl [declExp| all. 1 + ((list a) * a) |]
If you are only interested in the size of an example before and after mutual recursion and algebraic types have been removed, try
ghci> onlySizes example
