../ Control/More library rearranging12 years ago Data/Move more less-supported things to contrib12 years ago Debug/IO primitives tweak to support JS12 years ago Language/Check class arguments for injectivity12 years ago Syntax/First renaming attempt12 years ago System/Move System.Concurrency.Raw back to base12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago System.idrNew language-dependent FFI12 years ago base.ipkgMove more less-supported things to contrib12 years ago