git.iko.soy/Idris-dev
on ebf9100 help sign in
Idris-dev/tutorial/examples
12 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.idrAdded well-typed interpreter section to tutorial 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