10

8

6

4

2


3.7
0.0

2 type packages and projects

  • type-level-numbers

    4.5 0.0 Haskell
    Implementation of type level natural and signed integer numbers in haskell using type families.
  • type-eq

    3.7 0.0 Haskell
    Type equality evidence you can carry around

Add another 'type' Package