Type-level well-kinded natural numbers.
Why do you think that https://github.com/GaloisInc/estimator is a good alternative to type-natural
Type-level well-kinded natural numbers.
Why do you think that https://github.com/GaloisInc/estimator is a good alternative to type-natural