git.iko.soy/Idris-dev
on 5602ea7 help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/Update dependencies and correct examples MakefileIdiom brackets and dsl notation in tutorial classes.texSome documentation updates 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.texTutorial updates library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.tex%obj should be %link in tutorial modules.texTutorial typos provisional.texTutorial typos fixed starting.texTutorial updates syntax.texSome re-ordering of the tutorial theorems.texTutorial updates typesfuns.texTutorial typos fixed views.texIdiom brackets and dsl notation in tutorial