10

8

6

4

2


7.7

6.0

4.4
0.0
1.2
1.4

5 Type System packages and projects

  • typelevel-rewrite-rules

    7.9 8.3 Haskell
    Solve type equalities using custom type-level rewrite rules
  • uom-plugin

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

    4.4 0.0 Haskell
    Type equality evidence you can carry around
  • type-level-numbers

    2.9 0.0 Haskell
    Type level numbers implemented using type families.
  • funspection

    1.2 1.4 Haskell
    Type-level function utilities

Add another 'Type System' Package