Arithmetic on natural numbers
Why do you think that https://github.com/ekmett/linear is a good alternative to natural-arithmetic
Arithmetic on natural numbers
Why do you think that https://github.com/ekmett/linear is a good alternative to natural-arithmetic