git.iko.soy/Idris-dev
on 0c8a486 help sign in
Idris-dev/samples/tutorial
19 files
../ MakefileMigrated tutorial examples into samples. binary.idrMigrated tutorial examples into samples. bmain.idrMigrated tutorial examples into samples. btree.idrMigrated tutorial examples into samples. btreemod.idrMigrated tutorial examples into samples. classes.idrMigrated tutorial examples into samples. foo.idrMigrated tutorial examples into samples. hello.idrMigrated tutorial examples into samples. idiom.idrMigrated tutorial examples into samples. interp.idrChanged the '[static]' annotation to '%static', for uniformity with the rest of the language. letbind.idrMigrated tutorial examples into samples. prims.idrMigrated tutorial examples into samples. theorems.idrMigrated tutorial examples into samples. universe.idrMigrated tutorial examples into samples. usefultypes.idrMigrated tutorial examples into samples. vbroken.idrMigrated tutorial examples into samples. views.idrMigrated tutorial examples into samples. viewsbroken.idrMigrated tutorial examples into samples. wheres.idrMigrated tutorial examples into samples.