edwinb/Idris-dev — pull request #10 by dpmulligan (2012-02-14 19:12:05+00:00)
Title: Promised fix to nat.idr file, and minor change to algebra.idr

As promised in my e-mail earlier, a fixed nat.idr file, as well as a change of fixity for infix operators in algebra.idr to left associativity.