git.iko.soy/Idris-dev
on ead54e4 help sign in
Idris-dev/tutorial/examples
13 files
../ binary.idrBinary adder example bmain.idrModules and namespaces section in tutorial btree.idrModules and namespaces section in tutorial classes.idrMonad comprehension example foo.idrModules and namespaces section in tutorial hello.idrStarted a new tutorial. Don't hold your breath. interp.idrFirst complete tutorial draft letbind.idrDocumented case expressions prims.idrError message in tutorial theorems.idrFix metavariable naming in namespaces usefultypes.idrDocumented case expressions vbroken.idrError message in tutorial views.idrBinary adder example