git.iko.soy/Idris-dev
on 2e170bf 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.idrneed to import Data.Vect and Data.Fin for interp.idr to compile 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.