natural_numbers 0.1.0

Provides natural numbers and operations on them, based on the successor operation.
Documentation