../ Control/Changed libs to new record syntax.12 years ago Data/Changed libs to new record syntax.12 years ago Debug/IO primitives tweak to support JS12 years ago Decidable/Move Fin, Vect and So from prelude to base12 years ago Language/Error reflection for Fin12 years ago Network/Changed libs to new record syntax.12 years ago Syntax/First renaming attempt12 years ago System/Changed (<$>) to (<*>)12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Providers.idrChanged (<$>) to (<*>)12 years ago System.idrNew language-dependent FFI12 years ago base.ipkgAdd missing module to base.ipkg12 years ago