Packages tagged type

6 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (6), library (6)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
cmptype900.0Compare types of any kinds (bsd3, library, type)2019-08-11isovector
haskus-utils-types1870.0Haskus types utility modules (bsd3, library, type)2019-12-21SylvainHenry
membership550.0Indices for type level lists (bsd3, library, type)2019-05-31FumiakiKinoshita
type-errors2130.0Tools for writing better type errors (bsd3, library, type)2019-07-03isovector
type-int720.0Type Level 2s- and 16s- Complement Integers (bsd3, library, type)2012-05-11EdwardKmett
type-sets650.0Type-level sets (bsd3, library, type)2019-08-11isovector