git.iko.soy/Idris-dev
on ead54e4 help sign in
Idris-dev/tutorial
1 folder, 18 files
../ examples/Monad comprehension example MakefileBinary adder example classes.texUse new syntax in lib conclusions.texFirst complete tutorial draft idris-tutorial.pdfMonad comprehension example idris-tutorial.texFirst complete tutorial draft interp.texSome formatting 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.texNote on where scoping and types in tutorial modules.texModules and namespaces section in tutorial provisional.texSome formatting starting.texSome more tutorial syntax.texTinkered with syntax rules section in tutorial theorems.texSome formatting typesfuns.texDocument comprehensions views.texTheorem proving in the tutorial