../ Control/Add type class and instances for monad transformers12 years ago Data/Add missing file(!)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/fix typo (AF_INET4 -> AF_INET6)12 years ago Syntax/First renaming attempt12 years ago System/New language-dependent FFI12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Providers.idrDistinguish postulate providers and type providers at use site12 years ago System.idrNew language-dependent FFI12 years ago base.ipkgAdd missing module to base.ipkg12 years ago