../ Vect/Add Uninhabited instance for Any p []12 years ago Bits.idrNormalise everything before 'with' abstraction12 years ago BoundedList.idrFirst renaming attempt12 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.idrFirst renaming attempt12 years ago List.idrFirst renaming attempt12 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.idrFirst renaming attempt12 years ago ZZ.idrFirst renaming attempt12 years ago