git.iko.soy/Idris-dev
on ee8fce0 help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Add type class and instances for monad transformers Data/Added the Zero Constructor to Data.Sign Debug/IO primitives tweak to support JS Decidable/Move Fin, Vect and So from prelude to base Language/Error reflection for Fin Network/fix typo (AF_INET4 -> AF_INET6) Syntax/First renaming attempt System/Change return type of checkMessages MakefileModified makefiles to add local IdrisDoc generation. Providers.idrDistinguish postulate providers and type providers at use site System.idrNew language-dependent FFI base.ipkgAdd missing module to base.ipkg