../ Vect/Add Uninhabited instance for Any p []12 years ago Bits.idrNormalise everything before 'with' abstraction12 years ago BoundedList.idrReverse parameters to BoundedList.13 years ago Buffer.idrUpdated inline comments to new style function documentation.12 years ago Complex.idrFix addition and subtraction of Complex Float.13 years ago Erased.idrRemove trailing whitespace.13 years ago Floats.idrRemove needless Prelude imports13 years ago Fun.idrUpdated inline comments to new style function documentation.12 years ago HVect.idrNo need for 'using' in HVect12 years ago Heap.idrReplace some Heap proofs with impossible.13 years ago List.idrRemove some needless 'using' blocks12 years ago Mod2.idrUpdated inline comments to new style function documentation.12 years ago Morphisms.idrRemove needless Prelude imports13 years ago Rel.idrUpdated inline comments to new style function documentation.12 years ago Sign.idrMore docstrings13 years ago SortedMap.idrFixed bug regarding insertion in SortedMap. Fixes idris-lang/Idris-dev#1394. Solution based on the diagnosis in @sebzim4500s comment.12 years ago SortedSet.idrAdd Foldable for SortedSet13 years ago Vect.idrRemove some needless 'using' blocks12 years ago ZZ.idrAdd documentation in new format for various libs13 years ago