../ MakefileNot really mini any more...15 years ago builtins.idrNamespaces15 years ago either.idrAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago io.idrOverloading lists and syntactic sugar15 years ago list.idrAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago maybe.idrAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago nat.idrAdd :a comment, to add most recent proof script to source file15 years ago prelude.idrAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago vect.idrAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago