+final.pdf: final.tex final.bib agda.sty
+ pdflatex -halt-on-error $< -o $@
+ bibtex final
+ pdflatex -halt-on-error $< -o $@
+ pdflatex -halt-on-error $< -o $@
+
+presentation.pdf: presentation.tex
+ pdflatex -halt-on-error $< -o $@
+
+agda.sty: final.tex
+
+final.tex: final.lagda
+ agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ final.lagda
+