../ Algebra.idruppercase modulenames14 years ago Applicative.idrMake traverse_ total14 years ago Bits.idrBase 10 show for Mod2 and various cleanup14 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.idrFix left shift on non-power-of-two length bitstrings and add bitSet test14 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.idrConciseness14 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