type-level-numbers. Implementation of type level natural and signed integer numbers in haskell using type families.

github.com/Shimuuar/type-level-numbers

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.