../ Algebra.idruppercase modulenames14 years ago Applicative.idrMake traverse_ total14 years ago Cast.idruppercase modulenames14 years ago Chars.idrAdd isNL/lines14 years ago Complex.idrAdd Fin.strengthen14 years ago Either.idrAdded typeclass for decidable equality plus instances for commonly-used datatypes14 years ago Fin.idrAdded typeclass for decidable equality plus instances for commonly-used datatypes14 years ago Functor.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Heap.idrChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago List.idrTweak totality checker14 years ago Maybe.idrMake seperated named functions for the Monoid <=> Maybe cast.14 years ago Monad.idrRewrote 'mapM' and 'mapM_' as 'traverse' and 'traverse_'.14 years ago Nat.idrflooring log2 for Nats14 years ago Strings.idradded forgotten LStrLen primitive and length function for String14 years ago Vect.idrRewrite Prelude.Vect.zip in terms of Prelude.Vect.zipWith14 years ago