../ examples/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 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.pdfMerge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosure14 years ago idris-tutorial.texmade TOC in tutorial clickable but still without color15 years ago interp.texMerge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosure14 years ago intro.texMerge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosure14 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.texMerge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosure14 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.texUpdate tutorial/typesfuns.tex14 years ago views.texMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago