Implementation of type level natural and signed integer numbers in haskell using type families.
Here you can share your experience with the project you are suggesting or its comparison with type-level-numbers. Optional.
A valid email to send you a verification link when necessary or log in.