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