natural-arithmetic

Arithmetic on natural numbers


Keywords
library, math, Propose Tags , Arithmetic.Equal, Arithmetic.Fin, Arithmetic.Lt, Arithmetic.Lte, Arithmetic.Nat, Arithmetic.Plus, Arithmetic.Types, Arithmetic.Unsafe
License
BSD-3-Clause
Install
cabal install natural-arithmetic