git.iko.soy/Idris-dev
on 486b176 help sign in
Idris-dev/tutorial
1 folder, 19 files
../ examples/Update tutorial pdf MakefileIdiom brackets and dsl notation in tutorial classes.texRemark on types in instance blocks conclusions.texFirst complete tutorial draft dsl.texSome re-ordering of the tutorial idris-tutorial.pdfSome re-ordering of 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.texMade tutorial and examples consistent with latest library syntax.texSome re-ordering of the tutorial theorems.texMade tutorial and examples consistent with latest library typesfuns.texIdiom brackets and dsl notation in tutorial views.texIdiom brackets and dsl notation in tutorial