git.iko.soy/Idris-dev
on 2d0cc49 help sign in
Idris-dev/libs/base/Data
1 folder, 20 files
../ Vect/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up 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 Hash.idrImproved docs for Data.Hash Heap.idrRenamed VoidElim to void in order to ensure further consistency List.idrRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Matrix.idrFixed typo, removed some extra whitespace 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.idrRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up ZZ.idrRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up