Modular arithmetic, promoting moduli to the type level
inversion modular-arithmetic number-theory exponentiation modular-exponentiation moduli modular-inversions finite-numbers
-
Updated
Aug 30, 2025 - Haskell