Merge branch 'master' of http://git.stderr.nl/matthijs/master-project/paper
-rw-r--r-- 91 .gitignore
-rw-r--r-- 54434 4tapfir.svg
-rw-r--r-- 201353 IEEEtran.cls
-rw-r--r-- 83 Makefile
-rw-r--r-- 36865 choice-case.svg
-rw-r--r-- 45822 choice-ifthenelse.svg
-rw-r--r-- 11617 clash.bib
-rw-r--r-- 66 clash.fmt
-rw-r--r-- 59113 cλash.lhs
-rw-r--r-- 186 latexmkrc
-rw-r--r-- 24891 mac-nocurry.svg
-rw-r--r-- 16839 mac-state.svg
-rw-r--r-- 18312 mac.svg