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