git.iko.soy/Idris-dev
on b0cb4e2 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Reformulate decEq for Vect. Prelude/Predicates for Prelude Strings Builtins.idrRename Pair to Sigma. IO.idrRemove prim_io_bind and prim_io_return from run__IO. MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrMerge pull request #1265 from ziman/dependent-pairs prelude.ipkgAdd Prelude.Pairs to the ipkg.