git.iko.soy/Idris-dev
on c79fb21 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Reformulate decEq for Vect. Prelude/Make proof arguments to list functions implicit Builtins.idrUpdate docs for equality type 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.