../ 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.idradded Eq typeclass for Maybe14 years ago Monad.idrRewrote 'mapM' and 'mapM_' as 'traverse' and 'traverse_'.14 years ago Nat.idrflooring log2 for Nats14 years ago Strings.idrAdd a reducing version of believe_me (be careful!)14 years ago Vect.idrChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago