../ Algebra.idruppercase modulenames14 years ago Applicative.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Cast.idruppercase modulenames14 years ago Chars.idrAdd isNL/lines14 years ago Complex.idrAdd Fin.strengthen14 years ago Either.idruppercase modulenames14 years ago Fin.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Functor.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Heap.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago List.idrAdd a Monoid instance for String.14 years ago Maybe.idruppercase modulenames14 years ago Monad.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Nat.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Strings.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Vect.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago