Merge branch 'master' of wien.tomnetworks.com:mate
-rw-r--r-- 51 .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