Makefile: GHCi still broken
-rw-r--r-- 41 .gitignore
-rw-r--r-- 893 Makefile
-rw-r--r-- 226 Mate.hs
drwxr-xr-x - Mate
-rw-r--r-- 972 README
drwxr-xr-x - doc
drwxr-xr-x - ffi
drwxr-xr-x - tests