git.iko.soy/Idris-dev
on 2e9fcd4 help sign in
Idris-dev/tutorial/examples
14 files
../ MakefileRemove semicolons in tutorial binary.idrRemove semicolons in tutorial bmain.idrRemove semicolons in tutorial btree.idrRemove semicolons in tutorial classes.idrRemove semicolons in tutorial foo.idrRemove semicolons in tutorial hello.idrRemove semicolons in tutorial interp.idrRemove semicolons in tutorial letbind.idrRemove semicolons in tutorial prims.idrRemove semicolons in tutorial theorems.idrRemove semicolons in tutorial usefultypes.idrRemove semicolons in tutorial vbroken.idrRemove semicolons in tutorial views.idrRemove semicolons in tutorial