git.iko.soy/Idris-dev
on ced7733 help sign in
Idris-dev/libs/base/Data
1 folder, 18 files
../ Vect/Fix parameter propagation Bits.idrNormalise everything before 'with' abstraction BoundedList.idrReverse parameters to BoundedList. Buffer.idrUpdated inline comments to new style function documentation. Complex.idrFix addition and subtraction of Complex Float. Erased.idrRemove trailing whitespace. Floats.idrRemove needless Prelude imports Fun.idrUpdated inline comments to new style function documentation. HVect.idrNo need for 'using' in HVect Heap.idrReplace some Heap proofs with impossible. List.idrRemove some needless 'using' blocks Mod2.idrUpdated inline comments to new style function documentation. Morphisms.idrRemove needless Prelude imports Rel.idrUpdated inline comments to new style function documentation. Sign.idrMore docstrings SortedMap.idrRemove Ord constraints from SortedMap toList SortedSet.idrAdd Foldable for SortedSet Vect.idrRemove some needless 'using' blocks ZZ.idrAdd documentation in new format for various libs