git.iko.soy/Idris-dev
on 2e9fcd4 help sign in
Idris-dev/tutorial
1 folder, 18 files
../ examples/Remove semicolons in tutorial MakefileBinary adder example classes.texRemove semicolons in tutorial conclusions.texFirst complete tutorial draft idris-tutorial.pdfRemove semicolons in tutorial idris-tutorial.texFirst complete tutorial draft interp.texRemove semicolons in tutorial intro.texRemove semicolons in tutorial library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.texRemove semicolons in tutorial modules.texRemove semicolons in tutorial provisional.texRemove semicolons in tutorial starting.texRemove semicolons in tutorial syntax.texTinkered with syntax rules section in tutorial theorems.texRemove semicolons in tutorial typesfuns.texRemove semicolons in tutorial views.texRemove semicolons in tutorial