Use adapted CAES theme
-rw-r--r-- 325 .gitignore
-rw-r--r-- 299 .latexmkrc
-rw-r--r-- 846 Makefile
-rw-r--r-- 1754 PolyAlu.hs
-rw-r--r-- 3023 PolyAlu.lhs
-rw-r--r-- 1052 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-- 541592 clash-haskell09.pdf
-rw-r--r-- 609 demo.lhs
drwxr-xr-x - figures
-rw-r--r-- 472 howdoesitwork.lhs
-rw-r--r-- 1925 introduction.lhs
-rw-r--r-- 11154 mealymachine.svg
-rw-r--r-- 66 preamble.tex
-rw-r--r-- 363 reducer.lhs
-rw-r--r-- 327 summery.lhs
-rw-r--r-- 479 talk.fmt
drwxr-xr-x - ut_logos