../ examples/Update where type inference example in tutorial13 years ago MakefileIdiom brackets and dsl notation in tutorial15 years ago classes.texError handling interpreter needs Functor instance (via bishboria)14 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.pdfAdded type providers to tutorial13 years ago idris-tutorial.texUpdate version number in tutorial14 years ago interp.texA couple small typo fixes in the tutorial13 years ago intro.texUpdate version number 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.texMerge pull request #340 from JanBessai/BackendTargetSpecification13 years ago modules.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago provisional.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago starting.texUpdate version number in tutorial14 years ago syntax.texTweak syntax rules to deal with consecutive non-terminals better14 years ago theorems.texanother small typo fix in tutorial13 years ago typesfuns.texUpdate where type inference example in tutorial13 years ago views.texCorrected typo of the (++) example in views.tex14 years ago