git.iko.soy/Idris-dev
on 2000a54 help sign in
Idris-dev/tutorial
1 folder, 11 files
../ examples/Error message in tutorial MakefileAdd some string primitives (may need latest Epic) classes.texA bit more tutorial idris-tutorial.pdfSome more tutorial adapted from old version idris-tutorial.texSome more tutorial adapted from old version intro.texSome more tutorial adapted from old version library.ltxStarted a new tutorial. Don't hold your breath. literature.bibStarted a new tutorial. Don't hold your breath. macros.ltxSome more tutorial miscellany.texStarted a new tutorial. Don't hold your breath. starting.texSome more tutorial typesfuns.texSome more tutorial adapted from old version