git.iko.soy/Idris-dev
on e613365 help sign in
Idris-dev/impl-paper
11 files
../ MakefileFirst lot of source files and 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 conclusions.texFirst lot of source files and paper impldtp.texFirst lot of source files and paper intro.texarg tactic; unification tweak library.ltxFirst lot of source files and paper literature.bibarg tactic; unification tweak macros.ltxFirst lot of source files and paper overview.texBetter if unification substitutes rather than let binds