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.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