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