git.iko.soy/Idris-dev
on ebf9100 help sign in
Idris-dev/tutorial
1 folder, 18 files
../ examples/Binary adder example MakefileBinary adder example classes.texModules and namespaces section in tutorial conclusions.texBinary adder example idris-tutorial.pdfSome more tutorial adapted from old version idris-tutorial.texBinary adder example interp.texForgot interp.tex intro.texAdded well-typed interpreter section to tutorial 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.texBinary adder example modules.texModules and namespaces section in tutorial provisional.texBinary adder example starting.texSome more tutorial syntax.texBinary adder example theorems.texTheorem proving in the tutorial typesfuns.texMore tutorial: useful types, type classes views.texTheorem proving in the tutorial