git.iko.soy/Idris-dev
on 4227b95 help sign in
Idris-dev/examples
17 files
../ MakefileFix .PHONY targets in Makefiles 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.