edwinb/Idris-dev — pull request #2 by dpmulligan (2012-01-20 13:06:24+00:00)
Title: Additions to Idris Prelude

Added several more functions to the Idris prelude in the files lib/prelude/either.idr and lib/prelude/maybe.idr. All added functions are taken from the Haskell Prelude (where appropriate, i.e. where the original function was total) as well as third party libraries of useful functions over these types available on Hackage (e.g. Data.Either.Util).