git.iko.soy/Idris-dev
on ebbcf8d 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.pdfUpdate tutorial pdf 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