git.iko.soy/Idris-dev
on 674459b help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Delete DecEq Float Language/Remove no longer used primitives from TT Prelude/Replace the Monoid instance on Maybe Builtins.idrOverdid the external primitives IO.idrType Signatures use IO' l where they can instead of IO MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrType Signatures use IO' l where they can instead of IO prelude.ipkgMore library rearranging