Selected Tags

Click on a tag to remove it

Type System packages

Showing projects tagged as Type and Type System

  • type-level-sets

    8.8 2.2 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)
  • type-level-numbers

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

    3.2 0.0 Haskell
    Type equality evidence you can carry around