git.iko.soy/Idris-dev
on 87fb53a help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Change export qualifier keywords Language/Implement DecEq TTName Prelude/Move Accessible to Prelude 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