10

8

6

4

2

3 type packages and projects

  • type-level-sets

    8.4 3.3 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • type-indexed-queues

    4.2 0.0 Haskell
    Queues with verified and unverified versions.
  • type-level-bst

    3.0 0.0 Haskell
    type-level binary search trees in haskell

Add another 'type' Package