Put code in colored boxes
-rw-r--r-- 348 .gitignore
-rw-r--r-- 299 .latexmkrc
-rw-r--r-- 846 Makefile
-rw-r--r-- 2530 PolyAlu.hs
-rw-r--r-- 5214 PolyAlu.lhs
-rw-r--r-- 1140 beamercolorthemecaes.sty
-rw-r--r-- 870 beamerfontthemecaes.sty
-rw-r--r-- 2136 beamerinnerthemecaes.sty
-rw-r--r-- 9378 beamerouterthemecaes.sty
-rw-r--r-- 953 beamerthemecaes.sty
-rw-r--r-- 1895 caes_presentation.cls
-rw-r--r-- 400 clash-haskell09.lhs
-rw-r--r-- 581858 clash-haskell09.pdf
-rw-r--r-- 609 demo.lhs
drwxr-xr-x - figures
-rw-r--r-- 482 howdoesitwork.lhs
-rw-r--r-- 2159 introduction.lhs
-rw-r--r-- 11154 mealymachine.svg
-rw-r--r-- 86 preamble.tex
-rw-r--r-- 363 reducer.lhs
-rw-r--r-- 609 summery.lhs
-rw-r--r-- 479 talk.fmt
drwxr-xr-x - ut_logos