../ 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.idrRemove +, -, and * on Fin11 years ago HVect.idrChange type of HVect.put/get/update so auto works11 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 String.idrfix example11 years ago Vect.idrRename isLength11 years ago