scratch: Translation scheme latex/literal haskell setup. Translation.lhs should conta...
-rw-r--r-- 41 .gitignore
-rw-r--r-- 910 Makefile
-rw-r--r-- 686 Mate.hs
drwxr-xr-x - Mate
-rw-r--r-- 2880 README
drwxr-xr-x - doc
drwxr-xr-x - ffi
drwxr-xr-x - scratch
drwxr-xr-x - tests