Selected Tags

Click on a tag to remove it

Type packages

Showing projects tagged as Unclassified and Type

  • type-errors

    8.6 3.3 Haskell
    :warning: tools for writing better type errors
  • type-sets

    8.6 0.0 Haskell
    type level sets
  • type-int

    4.2 0.0 Haskell
    Type level 2's and 16's complement arithmetic (old)
  • membership

    3.9 0.0 Haskell
    Type level membership
  • cmptype

    - -
    Compare types of any kinds