natural_numbers 0.1.0

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

Natural Numbers

natural_numbers provides natural numbers and operations on them, based on the successor operation.