A useful type for working with integers modulo some constant.
Why do you think that https://github.com/konn/equational-reasoning-in-haskell is a good alternative to modular-arithmetic
A useful type for working with integers modulo some constant.
Why do you think that https://github.com/konn/equational-reasoning-in-haskell is a good alternative to modular-arithmetic