Bodigrim / mod

Modular arithmetic, promoting moduli to the type level
24Updated 6 months ago

Related projects

Alternatives and complementary repositories for mod