git.iko.soy/Idris-dev
on fc6eb53 help sign in
Idris-dev/tutorial
1 folder, 18 files
../ examples/Error message tinker MakefileBinary adder example classes.texFixed VNil in tutorial (well spotted Cezar :)) conclusions.texFirst complete tutorial draft idris-tutorial.pdfso type and pattern/term syntax extensions in tutorial idris-tutorial.texFirst complete tutorial draft interp.texRemove some needless bracketing from if...then...else intro.texMinor tutorial changes library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.texintros tactic; some library tinkering modules.texTutorial typos provisional.texUpdate tutorial starting.texMinor tutorial changes syntax.texso type and pattern/term syntax extensions in tutorial theorems.texintros tactic; some library tinkering typesfuns.texSome minor fiddling views.texTutorial typos