edwinb/Idris-dev — pull request #7 by dpmulligan (2012-01-31 19:33:29+00:00)
Title: Additions to Prelude

Added some more properties of natural numbers. Tidied the file to use infix notation where possible in statements. Much more readable now.