git.iko.soy/Idris-dev
on 89c19be 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.idrMigrated tutorial examples into samples. 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.