git.iko.soy/Idris-dev
on 1f7d1f2 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Cleaned up an old name change for consistency Language/Error reflection for Fin Prelude/Remove unnecessary constraint on foldl Builtins.idrFix typos in documentation IO.idrAdd %used pragma MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrInitial support for JS in new ffi prelude.ipkgMove Fin, Vect and So from prelude to base