git.iko.soy/Idris-dev
on e62b7ea 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.idrModules and namespaces section in tutorial foo.idrModules and namespaces section in tutorial hello.idrStarted a new tutorial. Don't hold your breath. interp.idrFirst complete tutorial draft letbind.idrPattern matching lambda, plus tutorial update prims.idrError message in tutorial theorems.idrFix metavariable naming in namespaces usefultypes.idrMore tutorial: useful types, type classes vbroken.idrError message in tutorial views.idrBinary adder example