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