git.iko.soy/Idris-dev
on 8935fed 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.idrFix addition and subtraction of Complex Float. Erased.idrChanged (<$>) to (<*>) Fin.idrMinor, minor readability improvement to Fin.idr Floats.idrRemove needless Prelude imports HVect.idrMove Fin, Vect and So from prelude to base 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.idrchanged findIndex to return Fins