Permalink
Browse files

Test (Very minor modifications)

  • Loading branch information...
1 parent 00a4272 commit 8ce4a74802a25d73474fbea9613b5cfd17f30c3b unknown committed Dec 4, 2011
Showing with 38 additions and 41 deletions.
  1. BIN APLASv1.pdf
  2. BIN APLASv2.pdf
  3. BIN APLASv3.pdf
  4. BIN APLASv4.pdf
  5. +0 −10 Makefile
  6. +38 −31 defquotients.tex
View
Binary file not shown.
View
Binary file not shown.
View
Binary file not shown.
View
Binary file not shown.
View
@@ -1,10 +0,0 @@
-%.pdf : %.tex
- pdflatex $<
-%.tex : %.lhs
- lhs2tex $< -o $@
-%.tex : %.lagda
- lhs2tex --agda $< -o $@
-defquotients.pdf : defquotients.tex Appendix/AgdaQuotients.tex Appendix/SeqEnum.tex
-Appendix/AgdaQuotients.tex : Appendix/AgdaQuotients.lagda
-Appendix/SeqEnum.tex : Appendix/SeqEnum.lhs
-
Oops, something went wrong. Retry.

0 comments on commit 8ce4a74

Please sign in to comment.