git.iko.soy/Idris-dev
on da79b2c help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/:addproof now adds most recent proof if no argument given Consistent with old behaviour, and with tutorial MakefileIdiom brackets and dsl notation in tutorial classes.texTutorial typo 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.pdfMerge branch 'master' of github.com:edwinb/Idris-dev idris-tutorial.texmade TOC in tutorial clickable but still without color interp.texBrief documentation on 'parameters' blocks in tutorial intro.texBrief documentation on 'parameters' blocks in tutorial library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.texDocument named instances modules.texBrief documentation on 'parameters' blocks in tutorial provisional.texTutorial typos fixed starting.texRemove Boehm reference from tutorial syntax.texAdded binding form to syntax rules (and updated tutorial accordingly) theorems.texBrief documentation on 'parameters' blocks in tutorial typesfuns.texBrief documentation on 'parameters' blocks in tutorial views.texIdiom brackets and dsl notation in tutorial