Initial commit

Author: jespercockx

.gitignore

@@ -0,0 +1,31 @@
+\#*\#
+/.emacs.desktop
+/.emacs.desktop.lock
+auto-save-list
+latex
+tramp
+.\#*
+*~
+*.agdai
+*.aux
+*_aux
+*.bak
+*.bbl
+*.blg
+*.bin
+*.dvi
+*.dyn_hi
+*.dyn_o
+*.elc
+*.fdb_latexmk
+*.fls
+*.hi
+*.log
+*.o
+*.out
+*.ptb
+*.snm
+*.tmp
+*.tmp.*
+*.toc
+*.xcp

Makefile

@@ -0,0 +1,18 @@
+.PHONY : clean realclean
+.PRECIOUS : %.tex
+
+default: agda.pdf
+
+%.pdf : latex/%.tex agda.sty
+	latexmk --pdf -pdflatex="pdflatex -interaction=nonstopmode" -use-make $<
+
+latex/%.tex : %.lagda.tex
+	agda-2.6.1 --latex $<
+
+clean:
+	rm -f *.aux *.log *.out *.ptb *.blg *.fdb_latexmk *.agdai *.fls *.toc *~
+
+realclean: clean
+	rm -f *.glob *.vo *.bbl latex/* agda.pdf
+
+