Haskell Dependent Types Type packages

• « All Tags

Selected Tags

Click on a tag to remove it

• Dependent Types
• Type

More Tags

Click on a tag to add it and filter down

• Data
  2

Type packages

Showing projects tagged as Dependent Types and Type

• type-equality

  6.6 2.5 Haskell

  Haskell definition of type equality, coercion/cast and other operations.

• type-fun

  5.9 0.0 Haskell

  Fun with types

• type-level-bst

  3.6 0.0 Haskell

  Type-Level Binary Search Tree in Haskell