Modular arithmetic, promoting moduli to the type level
inversion
modular-arithmetic
number-theory
exponentiation
modular-exponentiation
moduli
modular-inversions
finite-numbers
-
Updated
Apr 28, 2024 - Haskell