Modular arithmetic, promoting moduli to the type level
inversion modular-arithmetic number-theory exponentiation modular-exponentiation moduli modular-inversions finite-numbers
-
Updated
Jul 1, 2026 - Haskell