git.iko.soy/Idris-dev
on e947d69 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.idrMove Data.Floats to Prelude.Doubles prelude.ipkgMove Data.Floats to Prelude.Doubles