all:
	lhs2TeX --poly main.lhs -o kw.tex
	pdflatex -halt-on-error kw.tex -o kw.pdf