git.iko.soy/Idris-dev
on 562da7b help sign in
Idris-dev/libs/base/Data
1 folder, 18 files
../ Vect/Add Uninhabited instance for Any p [] Bits.idrFinished making standard library naming consistent BoundedList.idrFinished making standard library naming consistent Buffer.idrFinished making standard library naming consistent 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.idrFinished making standard library naming consistent Heap.idrFirst renaming attempt List.idrFirst renaming attempt 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.idrFixed bug regarding insertion in SortedMap. Fixes idris-lang/Idris-dev#1394. Solution based on the diagnosis in @sebzim4500s comment. SortedSet.idrAdd Foldable for SortedSet Vect.idrFirst renaming attempt ZZ.idrFirst renaming attempt