git.iko.soy/Idris-dev
on 89c19be help sign in
Idris-dev/libs/base/Data
1 folder, 13 files
../ Vect/Move Fin, Vect and So from prelude to base Bits.idrAdd *NZ functions Complex.idrAdd showPrec to Show Erased.idrChanged (<$>) to (<*>) Fin.idrMinor, minor readability improvement to Fin.idr Floats.idrRemove needless Prelude imports HVect.idrRe-export Vect from HVect. List.idrclean up redundant spaces Mod2.idrUpdated inline comments to new style function documentation. Morphisms.idrChanged (<$>) to (<*>) So.idrMove Fin, Vect and So from prelude to base SortedSet.idrAdd Foldable for SortedSet Vect.idrMove Fin, Vect and So from prelude to base VectType.idrCorrect parameter names in documentation