git.iko.soy/Idris-dev
on 2c4ff83 help sign in
Idris-dev/impl-paper
15 files
../ Makefiletinker tinker 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.textinker tinker 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 typechecking.texPaper structure; delete useless code