10

8

6

4

2


7.7

2.3
uom-plugin

4.6
0.0
type-eq

3.2
0.0
type-level-numbers

3 Type System packages and projects

  • uom-plugin

    7.7 2.3 Haskell
    Units of measure as a GHC typechecker plugin

  • type-eq

    4.6 0.0 Haskell
    Type equality evidence you can carry around

  • type-level-numbers

    3.2 0.0 Haskell
    Type level numbers implemented using type families.

Popular Comparisons

Add another 'Type System' Package