Bodigrim/mod

Modular arithmetic, promoting moduli to the type level

语言：Haskell · GitHub 星标：24 · Fork：3

话题：exponentiation · finite-numbers · inversion · modular-arithmetic · modular-exponentiation · modular-inversions · moduli · number-theory

在 GitHub 上查看原仓库