Selected Tags

Click on a tag to remove it

Data packages

Showing projects tagged as Dependent Types, Type, and Data

  • 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