git.iko.soy/Idris-dev
on 2da8c19 help sign in
Idris-dev/libs/base/Data
2 folders, 12 files
../ List/Move List quantifiers to base Vect/Added docs for anyElim Bits.idrNeg and Nat adjustments Complex.idrUpdate reflection for Float -> Double change Erased.idrChanged (<$>) to (<*>) Fin.idrRemove +, -, and * on Fin HVect.idrChange type of HVect.put/get/update so auto works List.idrAdd dropElem to Data.List Mod2.idrNeg and Nat adjustments Morphisms.idrChanged (<$>) to (<*>) So.idrMove Fin, Vect and So from prelude to base SortedSet.idrAdd Foldable for SortedSet String.idrParsing doubles from strings Vect.idrRename isLength