git.iko.soy/Idris-dev
on 8a3d348 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.idrRemove Buffer and BitVector from parser MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrClean up exports in Data.Nat in contrib prelude.ipkgMore library rearranging