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