git.iko.soy/Idris-dev
on cf47310 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.idrSeparate numeric/algebraic matrix ops from basic matrix functions Erased.idrChanged (<$>) to (<*>) Fin.idrAdd a couple of doc comments Floats.idrRemove needless Prelude imports HVect.idrRemove spurious Data.Fin imports (now reexported by Vect) List.idrAdd dropElem to Data.List 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.idrAdd a couple of convenience functions in Data.Vect VectType.idrDisplay tweak