../ Control/change w to w'12 years ago Data/Add *NZ functions12 years ago Debug/IO primitives tweak to support JS12 years ago Language/Remove no longer used primitives from TT12 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