git.iko.soy/Idris-dev
on baaea97 help sign in
Idris-dev/libs/base/Data
1 folder, 18 files
../ Vect/Fix parameter propagation Bits.idrUncomment truncate. 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.idrMinor docstring additions Heap.idrReplace some Heap proofs with impossible. List.idrUpdated inline comments to new style function documentation. 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.idrAdd a decision procedure for Data.Vect.Elem ZZ.idrAdd documentation in new format for various libs