Selected Tags

Click on a tag to remove it

Type System packages

Showing projects tagged as Data Structures and Type System

  • type-level-sets

    8.6 4.4 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)
  • supermonad

    6.4 0.0 Haskell
    A plugin for GHC to support super monads.