git.iko.soy/Idris-dev
on b63e9bb help sign in
Idris-dev/impl-paper
16 files
../ MakefileSome effort at reporting line numbers of errors (top level of decl only) acmtrans.bstFirst lot of source files and paper acmtrans2m.clsFirst lot of source files and paper comments.styFirst lot of source files and paper conclusions.texPaper structure; delete useless code elaboration.texPaper structure; delete useless code hll.texPaper structure; delete useless code impldtp.texSome effort at reporting line numbers of errors (top level of decl only) intro.texarg tactic; unification tweak library.ltxFirst lot of source files and paper literature.bibAdd ElabInfo to pass through elaborator macros.ltxAdded %hide and %freeze directives overview.texAdded some serialisation proofstate.texPaper structure; delete useless code syntax.texAdded %hide and %freeze directives typechecking.texAdded %hide and %freeze directives