git.iko.soy/Idris-dev
on a3569e5 help sign in
Idris-dev/impl-paper
20 files
../ MakefileSome proofreading, filling in some gaps. 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 proofreading, filling in some gaps. elaboration.texSome proofreading, filling in some gaps. hll.texSome proofreading, filling in some gaps. impldtp.texSome proofreading, filling in some gaps. intro.texSome proofreading, filling in some gaps. jfp.bstSet up .bib jfp1.clsSet up .bib library.bibSome proofreading, filling in some gaps. 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 proofreading, filling in some gaps.