git.iko.soy/Idris-dev
on cb005bc help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Add type class and instances for monad transformers Data/Add missing file(!) Debug/IO primitives tweak to support JS Decidable/Move Fin, Vect and So from prelude to base Language/Error reflection for Fin Network/New language-dependent FFI Syntax/First renaming attempt System/New language-dependent FFI 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