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