../ MakefileMigrated tutorial examples into samples.12 years ago binary.idrChange Instance to implementation (#3404)10 years ago bmain.idrMigrated tutorial examples into samples.12 years ago btree.idrMigrated tutorial examples into samples.12 years ago btreemod.idrMigrated tutorial examples into samples.12 years ago classes.idrRemove deprecated calls to return10 years ago foo.idrMigrated tutorial examples into samples.12 years ago hello.idrMigrated tutorial examples into samples.12 years ago idiom.idrChange Instance to implementation (#3404)10 years ago interp.idrChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago letbind.idrMigrated tutorial examples into samples.12 years ago prims.idrMigrated tutorial examples into samples.12 years ago theorems.idrMigrated tutorial examples into samples.12 years ago universe.idrMigrated tutorial examples into samples.12 years ago usefultypes.idrMigrated tutorial examples into samples.12 years ago vbroken.idrMigrated tutorial examples into samples.12 years ago views.idrMigrated tutorial examples into samples.12 years ago viewsbroken.idrMigrated tutorial examples into samples.12 years ago wheres.idrMigrated tutorial examples into samples.12 years ago