Update to include jan's, arjan's and marco's comments. Also format for blind review
-rw-r--r-- 105 .gitignore
-rw-r--r-- 54167 4tapfir.svg
-rw-r--r-- 1417 HigherOrderCPU.hs
-rw-r--r-- 201353 IEEEtran.cls
-rw-r--r-- 83 Makefile
-rw-r--r-- 48703 choice-case.svg
-rw-r--r-- 45822 choice-ifthenelse.svg
-rw-r--r-- 16470 clash.bib
-rw-r--r-- 85 clash.fmt
-rw-r--r-- 64038 compilerpipeline.svg
-rw-r--r-- 52580 counter.svg
-rw-r--r-- 83381 c╬╗ash.lhs
-rw-r--r-- 65910 highordcpu.svg
-rw-r--r-- 186 latexmkrc
-rw-r--r-- 23807 mac-nocurry.svg
-rw-r--r-- 20574 mac-state.svg
-rw-r--r-- 18312 mac.svg