git.iko.soy/Idris-dev
on 4d2f0fe 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.texMore on the core TT jfp.bstSet up .bib jfp1.clsSet up .bib library.bibMore on the core TT library.ltxMore on the core TT literature.bibAdd ElabInfo to pass through elaborator macros.ltxMore on the core TT overview.texSet up .bib proofstate.texPaper structure; delete useless code syntax.texAdded %hide and %freeze directives typechecking.texMore on the core TT