git.iko.soy/Idris-dev
on f88a377 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/DecEq instances for Ptr/ManagedPtr Language/Add conversion checking to Elab Prelude/Make chr check for the correct range Builtins.idrFaster processing of alternatives IO.idrMerge pull request #2491 from ziman/ffi-fix MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrAdd elaborator reflection to default namespace prelude.ipkgMove Data.Floats to Prelude.Doubles