git.iko.soy/Idris-dev
on master help sign in
Idris-dev/samples/tutorial
19 files
../ BMain.idrRefresh the tutorial BTree.idrRefresh the tutorial BTreeMod.idrRemove long-deprecated `abstract` Foo.idrRefresh the tutorial Hello.idrRefresh the tutorial Idiom.idrRefresh the tutorial Interfaces.idrRefresh the tutorial Interp.idrRefresh the tutorial LetBind.idrRefresh the tutorial MakefileMigrated tutorial examples into samples. Prims.idrRefresh the tutorial Record.idrRefresh the tutorial Theorems.idrRefresh the tutorial Universe.idrRefresh the tutorial UsefulTypes.idrRefresh the tutorial VBroken.idrRefresh the tutorial Views.idrRefresh the tutorial ViewsBroken.idrRefresh the tutorial Wheres.idrRefresh the tutorial