Define how choice elements are translated to hardware. Update bits on types

[matthijs/master-project/dsd-paper.git] / Makefile

all:
        latexmk -r latexmkrc -pdf -pvc cλash.lhs

clean:
        latexmk -CA
        rm -rf *.pdf