haskell-finite-typelits
Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
Description | A type inhabited by finitely many values, indexed by type-level naturals. |
Version | 0.1.4.2-2 [community] |
Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
Description | A type inhabited by finitely many values, indexed by type-level naturals. |
Version | 0.1.4.2-2 [community] |