Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Dependent Types packages

Showing projects tagged as Type and Dependent Types

  • 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

    3.5 0.0 Haskell
    Type-Level Binary Search Tree in Haskell