../ Vect/Move Fin, Vect and So from prelude to base12 years ago Bits.idrMove Fin, Vect and So from prelude to base12 years ago Complex.idrFix addition and subtraction of Complex Float.13 years ago Erased.idrChanged (<$>) to (<*>)12 years ago Fin.idrMinor, minor readability improvement to Fin.idr12 years ago Floats.idrRemove needless Prelude imports13 years ago HVect.idrMove Fin, Vect and So from prelude to base12 years ago List.idrRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Mod2.idrUpdated inline comments to new style function documentation.12 years ago Morphisms.idrChanged (<$>) to (<*>)12 years ago So.idrMove Fin, Vect and So from prelude to base12 years ago SortedSet.idrAdd Foldable for SortedSet13 years ago Vect.idrMove Fin, Vect and So from prelude to base12 years ago VectType.idrInstance docs: add some instance docs to libs12 years ago