../ algebra.idrSmall changes fixing typos.15 years ago 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 complex.idradded copyright note15 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.idr(Try again...) Fixed some case statement bugs15 years ago heap.idrTest commit after hosing my local copy of the repository through fiddling with git and reverts. Starting on a correctness proof of the heap implementation. Type checking now much faster.15 years ago list.idradded takeWhile and dropWhile to lib/prelude/list.idr15 years ago maybe.idrFix circular dependencies15 years ago monad.idrFix circular dependencies15 years ago nat.idrFix conflicts and compile errors in recent merge15 years ago strings.idradded word-function as in haskell in prelude.string.15 years ago vect.idrChange precedence of ++ to be higher than ::15 years ago