Merge branch 'master' of wien.tomnetworks.com:mate
-rw-r--r-- 18 .gitignore
-rw-r--r-- 149 Makefile
-rw-r--r-- 4510 Mate.hs
-rw-r--r-- 86 README
-rw-r--r-- 170 Test.java
drwxr-xr-x - doc
-rw-r--r-- 300 trap.c