../ examples/Error message in tutorial15 years ago MakefileAdd some string primitives (may need latest Epic)15 years ago classes.texA bit more tutorial15 years ago idris-tutorial.texAdd some string primitives (may need latest Epic)15 years ago intro.texMore string and char primitives15 years ago library.ltxStarted a new tutorial. Don't hold your breath.15 years ago literature.bibStarted a new tutorial. Don't hold your breath.15 years ago macros.ltxSome more tutorial15 years ago miscellany.texStarted a new tutorial. Don't hold your breath.15 years ago starting.texSome more tutorial15 years ago typesfuns.texAdded %hide and %freeze directives15 years ago