Data.Nat
Library defining natural numbers in Peano representation
Detailed package documentation (available shortly after this version has been published)