Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Type packages

Showing projects tagged as Dependent Types and Type

  • type-equality

    6.4 0.0 Haskell
    Haskell definition of type equality, coercion/cast and other operations.
  • type-fun

    6.1 0.0 Haskell
    Fun with types
  • type-level-bst

    4.3 0.0 Haskell
    Type-Level Binary Search Tree in Haskell