git.iko.soy/Idris-dev
on 0e997ee help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/Update dependencies and correct examples MakefileIdiom brackets and dsl notation in tutorial classes.texDocument named instances conclusions.texAdded note on the empty type and totality checking to the tutorial conf.ltxmade TOC in tutorial clickable but still without color dsl.texSome re-ordering of the tutorial idris-tutorial.pdfTutorial updates idris-tutorial.texmade TOC in tutorial clickable but still without color interp.texMore paper changes intro.texWork on implementation paper; tutorial fixes library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.texDocument named instances modules.texTutorial typos provisional.texTutorial typos fixed starting.texTutorial updates syntax.texSome re-ordering of the tutorial theorems.texTutorial updates typesfuns.texWork on implementation paper; tutorial fixes views.texIdiom brackets and dsl notation in tutorial