git.iko.soy/Idris-dev
on b3b7bb7 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Change "class/instance" keywords Language/Change "class/instance" keywords Prelude/Remove partial functions from Stream Builtins.idrMerge pull request #2769 from lenary/annotate-prelude-with-used IO.idrChange library and expected test results for Float -> Double change MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrMake "implementation" keyword optional prelude.ipkgAdd deprecation warning for %elim