git.iko.soy/Idris-dev
on 0af8a2e help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/Update dependencies and correct examples MakefileIdiom brackets and dsl notation in tutorial classes.texWork on implementation paper; tutorial fixes 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.texTutorial updates 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.texWork on implementation paper; tutorial fixes 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