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