git.iko.soy/Idris-dev
on 7ccc101 help sign in
Idris-dev/tutorial
1 folder, 20 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 conf.ltxmade TOC in tutorial clickable but still without color dsl.texSome re-ordering of the tutorial idris-tutorial.pdfmade TOC in tutorial clickable but still without color idris-tutorial.texmade TOC in tutorial clickable but still without color 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