../ examples/Unification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)14 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.texBrief documentation on 'parameters' blocks in tutorial14 years ago intro.texBrief documentation on 'parameters' blocks in tutorial14 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.texBrief documentation on 'parameters' blocks in tutorial14 years ago provisional.texTutorial typos fixed15 years ago starting.texBrief documentation on 'parameters' blocks in tutorial14 years ago syntax.texAdded binding form to syntax rules (and updated tutorial accordingly)14 years ago theorems.texBrief documentation on 'parameters' blocks in tutorial14 years ago typesfuns.texBrief documentation on 'parameters' blocks in tutorial14 years ago views.texIdiom brackets and dsl notation in tutorial15 years ago