git.iko.soy/Idris-dev
on 9f65713 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.ltxFirst lot of source files and paper overview.texAdd ElabInfo to pass through elaborator proofstate.texPaper structure; delete useless code syntax.texSome effort at reporting line numbers of errors (top level of decl only) typechecking.texPaper structure; delete useless code