git.iko.soy/Idris-dev
on 14955ff help sign in
Idris-dev/tutorial
1 folder, 19 files
../ examples/Better type class resolution MakefileIdiom brackets and dsl notation in tutorial classes.texSome documentation updates conclusions.texAdded note on the empty type and totality checking to the tutorial dsl.texSome re-ordering of the tutorial idris-tutorial.pdfTutorial typos fixed idris-tutorial.texSome re-ordering of the tutorial interp.texIdiom brackets and dsl notation in tutorial intro.texDocument auto implicits 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 typos fixed syntax.texSome re-ordering of the tutorial theorems.texTutorial typos fixed typesfuns.texTutorial typos fixed views.texIdiom brackets and dsl notation in tutorial