GitHub repository: konn/type-natural
Primary language: Haskell
Description: Type-level well-kinded natural numbers.