../ Algebra.idruppercase modulenames14 years ago Applicative.idruppercase modulenames14 years ago Cast.idruppercase modulenames14 years ago Chars.idruppercase modulenames14 years ago Complex.idruppercase modulenames14 years ago Either.idruppercase modulenames14 years ago Fin.idruppercase modulenames14 years ago Heap.idruppercase modulenames14 years ago List.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Maybe.idruppercase modulenames14 years ago Monad.idrflatten for monads14 years ago Nat.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Strings.idrLibrary now builds with "--total"14 years ago Vect.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago