git.iko.soy/Idris-dev
on 56309a5 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.texSome proof state, some showing of terms library.ltxFirst lot of source files and paper literature.bibFirst lot of source files and paper macros.ltxFirst lot of source files and paper overview.texSome proof state, some showing of terms