git.iko.soy/Idris-dev
on bc37932 help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/Added :l and :m commands to REPL 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.pdfMinor tutorial updates 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.texCorrect case of Main in tutorial provisional.texTutorial typos fixed starting.texMinor tutorial updates syntax.texAdded binding form to syntax rules (and updated tutorial accordingly) theorems.texDocument --warnpartial Behaviour fixed so that it doesn't report declared partial functions typesfuns.texTutorial corrections views.texIdiom brackets and dsl notation in tutorial