haskell-numtype-dk
Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
Description | Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. |
Version | 0.5.0.3-3 [extra] |
Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
Description | Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. |
Version | 0.5.0.3-3 [extra] |