../ examples/Update tutorial pdf15 years ago MakefileIdiom brackets and dsl notation in tutorial15 years ago classes.texRemark on types in instance blocks15 years ago conclusions.texFirst complete tutorial draft15 years ago dsl.texIdiom brackets and dsl notation in tutorial15 years ago idris-tutorial.pdfUpdate tutorial pdf15 years ago idris-tutorial.texIdiom brackets and dsl notation in tutorial15 years ago interp.texIdiom brackets and dsl notation in tutorial15 years ago intro.texDocument auto implicits15 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 auto implicits15 years ago modules.texTutorial typos15 years ago provisional.texMade tutorial and examples consistent with latest library15 years ago starting.texMade tutorial and examples consistent with latest library15 years ago syntax.texso type and pattern/term syntax extensions in tutorial15 years ago theorems.texMade tutorial and examples consistent with latest library15 years ago typesfuns.texIdiom brackets and dsl notation in tutorial15 years ago views.texIdiom brackets and dsl notation in tutorial15 years ago