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