../ Control/Add 'determining parameters' for classes12 years ago Data/Add 'determining parameters' for classes12 years ago Debug/IO primitives tweak to support JS12 years ago Decidable/Add 'determining parameters' for classes12 years ago Language/Propagate unification solutions into types on 'P'12 years ago Network/Changed (<$>) to (<*>)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