scratch: refactored ScratchHS into separate files.
[mate.git] / scratch /
drwxr-xr-x   ..
-rw-r--r-- 59 .gitignore
-rw-r--r-- 9136 Frontend.hs
-rw-r--r-- 3075 Graph.hs
-rw-r--r-- 309 Makefile
-rw-r--r-- 4528 ScratchHS.hs
-rw-r--r-- 802 Translation.lhs
-rwxr-xr-x 39 run.sh