git.iko.soy/Idris-dev
on 58bcd1e help sign in
Idris-dev/tutorial
1 folder, 19 files
../ examples/Better type class resolution 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