Haskell Type System type

2 type packages and projects

• type-level-numbers

  4.9 0.0 Haskell

  Implementation of type level natural and signed integer numbers in haskell using type families.

• type-eq

  4.1 0.0 Haskell

  Type equality evidence you can carry around