PrintStream: reorganize `printf' and `println'
-rw-r--r-- 70 .gitignore
-rw-r--r-- 1206 Makefile
-rw-r--r-- 1224 Mate.hs
drwxr-xr-x - Mate
-rw-r--r-- 4621 README
drwxr-xr-x - doc
drwxr-xr-x - ffi
drwxr-xr-x - java
drwxr-xr-x - scratch
drwxr-xr-x - tests
drwxr-xr-x - tools