git.iko.soy/Idris-dev
on a0d6d18 help sign in
Idris-dev/examples
17 files
../ MakefileTutorial changes. binary.idrTutorial changes. bmain.idrTutorial changes. btree.idrTutorial changes. classes.idrTutorial changes. foo.idrTutorial changes. hello.idrTutorial changes. idiom.idrTutorial changes. interp.idrTutorial changes. letbind.idrTutorial changes. prims.idrTutorial changes. theorems.idrTutorial changes. universe.idrTutorial changes. usefultypes.idrTutorial changes. vbroken.idrTutorial changes. views.idrTutorial changes. wheres.idrTutorial changes.