Curry Package peano

Library defining natural numbers in Peano representation

Detailed package documentation (available shortly after this version has been published)

---