git.iko.soy/Idris-dev
on 069a2ac help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Change export qualifier keywords Language/Add some Quotable implementations (#3104) Prelude/Explicit arguments in views Builtins.idrNew implementation of rewrite IO.idrImplement primitives for accessing floats MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrMove Accessible to Prelude prelude.ipkgMove Accessible to Prelude