git.iko.soy/Idris-dev
on e7d5ef1 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.idrfix Sigma docstring IO.idrType Providers mean we can't relax the signature of run__provider MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrType Signatures use IO' l where they can instead of IO prelude.ipkgMore library rearranging