../ Vect/Move Fin, Vect and So from prelude to base12 years ago Bits.idrNeg and Nat adjustments11 years ago Complex.idrMove Data.Floats to Prelude.Doubles11 years ago Erased.idrChanged (<$>) to (<*>)12 years ago Fin.idrAdd a couple of doc comments11 years ago HVect.idrRemove spurious Data.Fin imports (now reexported by Vect)11 years ago List.idrAdd dropElem to Data.List11 years ago Mod2.idrNeg and Nat adjustments11 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.idrRemove obsolete reflected tactic11 years ago