git.iko.soy/Idris-dev
on 86e32fb 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.