../ applicative.idrSome prelude shuffling15 years ago cast.idrSome prelude shuffling15 years ago char.idrRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago either.idrAdded more to prelude, specifically in the files either.idr and maybe.idr. Ported most of the (total functions from) the Haskell Prelude relating to these types, as well as commonly used auxilliary functions found in third-party libraries on Hackage.15 years ago fin.idrAdd prelude.fin module15 years ago list.idrFix circular dependencies15 years ago maybe.idrFix circular dependencies15 years ago monad.idrFix circular dependencies15 years ago nat.idrSome minor fiddling15 years ago strings.idrBetter error reporting for unresolved type classes15 years ago vect.idrCoverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking …15 years ago