git.iko.soy/Idris-dev
on 6a8c4e7 help sign in
Idris-dev/impl-paper
21 files
../ MakefileSome TODO notes and revisions in the paper 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.texSome TODO notes and revisions in the paper delab.texSome TODO notes and revisions in the paper elaboration.texSome TODO notes and revisions in the paper hll.texSome TODO notes and revisions in the paper impldtp.texSome TODO notes and revisions in the paper intro.texSome TODO notes and revisions in the paper jfp.bstSet up .bib jfp1.clsSet up .bib library.bibSome TODO notes and revisions in the paper 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.texSome TODO notes and revisions in the paper