git.iko.soy/Idris-dev
on 8bf44c2 help sign in
Idris-dev/impl-paper
20 files
../ MakefileSet up .bib acmtrans.bstFirst lot of source files and paper acmtrans2m.clsFirst lot of source files and paper comments.styFirst lot of source files and paper compiling.texMissing .tex files conclusions.texSet up .bib elaboration.texPaper structure; delete useless code hll.texWork on implementation paper; tutorial fixes impldtp.texWork on implementation paper; tutorial fixes intro.texWork on implementation paper; tutorial fixes jfp.bstSet up .bib jfp1.clsSet up .bib library.bibMore implementation paper library.ltxMore implementation paper literature.bibAdd ElabInfo to pass through elaborator macros.ltxMore implementation paper overview.texSet up .bib proofstate.texPaper structure; delete useless code syntax.texAdded %hide and %freeze directives typechecking.texMore implementation paper