scratch: Translation scheme latex/literal haskell setup. Translation.lhs should conta...
[mate.git] / scratch /
drwxr-xr-x   ..
-rw-r--r-- 12288 .ScratchHS.hs.swp
-rw-r--r-- 451 Makefile
-rw-r--r-- 2665 ScratchHS.hs
-rw-r--r-- 626 Translation.lhs
-rwxr-xr-x 39 run.sh