1 unstable release
| 0.1.0 | Feb 1, 2019 |
|---|
#11 in #successor
4KB
Natural Numbers
natural_numbers provides natural numbers and operations on them, based on the successor operation.
Provides natural numbers and operations on them, based on the successor operation
| 0.1.0 | Feb 1, 2019 |
|---|
#11 in #successor
4KB
natural_numbers provides natural numbers and operations on them, based on the successor operation.