../ examples/Update dependencies and correct examples15 years ago MakefileIdiom brackets and dsl notation in tutorial15 years ago classes.texTutorial typo14 years ago conclusions.texAdded note on the empty type and totality checking to the tutorial15 years ago conf.ltxmade TOC in tutorial clickable but still without color15 years ago dsl.texSome re-ordering of the tutorial15 years ago idris-tutorial.pdfMerge branch 'master' of github.com:edwinb/Idris-dev14 years ago idris-tutorial.texmade TOC in tutorial clickable but still without color15 years ago interp.texMore paper changes15 years ago intro.texWork on implementation paper; tutorial fixes15 years ago library.ltxStarted a new tutorial. Don't hold your breath.15 years ago literature.bibFirst complete tutorial draft15 years ago macros.ltxSome more tutorial15 years ago miscellany.texDocument named instances14 years ago modules.texChange app to ++ in tutorial (typo)14 years ago provisional.texTutorial typos fixed15 years ago starting.texTutorial updates15 years ago syntax.texAdded binding form to syntax rules (and updated tutorial accordingly)14 years ago theorems.texTutorial updates15 years ago typesfuns.texcorrected wrong type signature in definition of 'so' in tutorial.14 years ago views.texIdiom brackets and dsl notation in tutorial15 years ago