10

8

6

4

2


7.7
1.3

4.7
0.1

3 Type System packages and projects

  • uom-plugin

    7.7 1.3 Haskell
    Units of measure as a GHC typechecker plugin
  • type-eq

    4.7 0.1 Haskell
    Type equality evidence you can carry around
  • type-level-numbers

    3.3 0.0 Haskell
    Type level numbers implemented using type families.

Add another 'Type System' Package