edwinb/Idris-dev — pull request #9 by dpmulligan (2012-02-14 11:49:47+00:00)
Title: Additions to Idris Prelude

More additions to Idris Prelude, mainly in the algebra.idr file, with more structures added, also serves to exercise Idris' typeclass support.

Small problem in nat.idr file: infix operators from algebra.idr don't seem to be being exported correctly (so no instances can be defined), or perhaps I'm misunderstanding?