../ examples/Made tutorial and examples consistent with latest library15 years ago MakefileBinary adder example15 years ago classes.texFixed VNil in tutorial (well spotted Cezar :))15 years ago conclusions.texFirst complete tutorial draft15 years ago idris-tutorial.pdfso type and pattern/term syntax extensions in tutorial15 years ago idris-tutorial.texFirst complete tutorial draft15 years ago interp.texMade tutorial and examples consistent with latest library15 years ago intro.texMinor tutorial changes15 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.texintros tactic; some library tinkering15 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.texMade tutorial and examples consistent with latest library15 years ago views.texTutorial typos15 years ago