git.iko.soy/Idris-dev
on 2899286 help sign in
Idris-dev/impl-paper
20 files
../ MakefileAn introduction 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.texAn introduction elaboration.texAn introduction hll.texAn introduction impldtp.texAn introduction intro.texAn introduction jfp.bstSet up .bib jfp1.clsSet up .bib library.bibAn introduction library.ltxMore on the core TT literature.bibAdd ElabInfo to pass through elaborator macros.ltxMore on the core TT overview.texMore on elaboration proofstate.texPaper structure; delete useless code syntax.texAdded %hide and %freeze directives typechecking.texAn introduction