git.iko.soy/Idris-dev
on e62b7ea help sign in
Idris-dev/tutorial
1 folder, 18 files
../ examples/Pattern matching lambda, plus tutorial update MakefileBinary adder example classes.texPattern matching lambda, plus tutorial update conclusions.texFirst complete tutorial draft idris-tutorial.pdfTinkered with syntax rules section in tutorial idris-tutorial.texFirst complete tutorial draft interp.texForgot interp.tex intro.texAdded well-typed interpreter section to tutorial library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.texFirst complete tutorial draft modules.texModules and namespaces section in tutorial provisional.texBinary adder example starting.texSome more tutorial syntax.texTinkered with syntax rules section in tutorial theorems.texTheorem proving in the tutorial typesfuns.texPattern matching lambda, plus tutorial update views.texTheorem proving in the tutorial