git.iko.soy/Idris-dev
on 33baa44 help sign in
Idris-dev/tutorial
1 folder, 19 files
../ examples/More on errors; propagate line numbers MakefileIdiom brackets and dsl notation in tutorial classes.texRemark on types in instance blocks conclusions.texAdded note on the empty type and totality checking to the tutorial dsl.texSome re-ordering of the tutorial idris-tutorial.pdfAdded note on the empty type and totality checking to the tutorial 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.texSome re-ordering of the tutorial modules.texTutorial typos provisional.texMade tutorial and examples consistent with latest library starting.texFix silly error in termination checker :) syntax.texSome re-ordering of the tutorial theorems.texAdded note on the empty type and totality checking to the tutorial typesfuns.texIdiom brackets and dsl notation in tutorial views.texIdiom brackets and dsl notation in tutorial