all:
	lhs2TeX instr-icfp.lhs -o instr-icfp.tex
	pdflatex -halt-on-err instr-icfp.tex