git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Delete DecEq Float Language/Check class arguments for injectivity Prelude/Make `div` and `mod` functions partial. Builtins.idrPair syntax for unique types IO.idrSupport IO in foreign exports MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrMake `div` and `mod` functions partial. prelude.ipkgMore library rearranging