all: paper.pdf
	open $<

%.tex: %.lhs representations.sty
	lhs2Tex -o $@ $<

%.pdf: %.tex paper.bbl
	pdflatex $<

paper.bbl: paper.bib
	bibtex paper