../ content/Fixed reference errors, and improved idrislang.sty.13 years ago examples/Whitespace cleanup.13 years ago MakefileVarious 'beneath the hood' improvements made to the tutorial project.13 years ago conf.ltxConverted examples to listings.13 years ago fpmacros.styImproved macros.13 years ago idris-tutorial.texFixed reference errors, and improved idrislang.sty.13 years ago idrislang.styUpdated idrislang.sty13 years ago library.ltxStarted a new tutorial. Don't hold your breath.15 years ago literature.bibFirst complete tutorial draft15 years ago