all:
	lhs2TeX -v --poly < cλash.lhs > cλash.tex
	latexmk -pdf -pv cλash.tex

clean:
	latexmk -CA