../ Algebra.idruppercase modulenames14 years ago Applicative.idrMake traverse_ total14 years ago Bits.idrEquality result type14 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.idrAdded a function, 'last', that returns the last element in a finite set14 years ago Functor.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Heap.idrFix traversal of size change graphs Fixes issue #134 - new regression test added14 years ago List.idrTweak totality checker14 years ago Maybe.idruppercase modulenames14 years ago Modular.idrCast instances for Mod2 <=> Bits and Int => Bits14 years ago Monad.idrRewrote 'mapM' and 'mapM_' as 'traverse' and 'traverse_'.14 years ago Nat.idrflooring log2 for Nats14 years ago Strings.idrA couple of small improvements to termination checking * inlining to help out * %assert_total doesn't allow inlining so as not to break totality for functions which rely on the asserted function * bug fix for mutual recursion - build size graphs before d…14 years ago Vect.idrMerge pull request #136 from DanielWaterworth/useful_functions14 years ago