1. remove the dependency on mk to run the tests; 2. make Ast an instance of Eq such...
-rw-r--r-- 259 .gitignore
-rw-r--r-- 929 .travis.yml
-rw-r--r-- 641 HOWTO-BRANCHES
-rw-r--r-- 1698 LICENSE
-rw-r--r-- 2043 PROBLEMS
-rw-r--r-- 936 README
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 8963 changelog.md
-rw-r--r-- 3174 hoopl.cabal
-rw-r--r-- 279781 hoopl.pdf
drwxr-xr-x - paper
drwxr-xr-x - private
drwxr-xr-x - prototypes
drwxr-xr-x - src
drwxr-xr-x - testing