../ examples/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago MakefileIdiom brackets and dsl notation in tutorial15 years ago classes.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 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.pdfUpdate CHANGELOG14 years ago idris-tutorial.texmade TOC in tutorial clickable but still without color15 years ago interp.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 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.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 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.texMinor tutorial updates14 years ago syntax.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago theorems.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago typesfuns.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago views.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago