git.iko.soy/Idris-dev
on 95ff97c help sign in
Idris-dev/tutorial
1 folder, 18 files
../ examples/Update tutorial MakefileBinary adder example classes.texFixed VNil in tutorial (well spotted Cezar :)) conclusions.texFirst complete tutorial draft idris-tutorial.pdfUpdate 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.texRemove some needless bracketing from if...then...else theorems.texintros tactic; some library tinkering typesfuns.texRemove some needless bracketing from if...then...else views.texTutorial typos