../ Algebra.idruppercase modulenames14 years ago Applicative.idrAdd Traversable and instance for List13 years ago Bits.idrFix imports and make hexVect local13 years ago Cast.idrExpand integer primitive unification to encompass bigints14 years ago Chars.idrMake it compile, and use a List instead of a Vect13 years ago Complex.idrAdd Fin.strengthen14 years ago Either.idrAdded typeclass for decidable equality plus instances for commonly-used datatypes14 years ago Fin.idrrename fO into fZ13 years ago Foldable.idrAdd more folds and a Foldable instance for (Vect n)13 years ago Functor.idrrename fmap to map13 years ago Heap.idrReadd toList as working on any Foldable13 years ago List.idrReadd toList as working on any Foldable13 years ago Maybe.idrAdd instance Foldable Maybe13 years ago Monad.idrRemove "return" from Monad13 years ago Nat.idrCompile Nat as Int, (and plus/mult/fromInteger)13 years ago Strings.idrDefault to Integer instead of Int, and adjust fromInteger accordingly13 years ago Traversable.idrAdd Traversable and instance for List13 years ago Vect.idrAdd more folds and a Foldable instance for (Vect n)13 years ago