Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Dependent packages

Showing projects tagged as Data and Dependent

  • dependent-map

    9.3 4.7 Haskell
    Dependently-typed finite maps (partial dependent products)

  • dependent-sum

    9.3 4.3 Haskell
    Dependent sums and supporting typeclasses for comparing and displaying them

  • dependent-hashmap

    5.9 0.0 Haskell
    Dependent hash maps

  • dependent-state

    1.8 0.0 Haskell
    DISCONTINUED. Control structure similar to Control.Monad.State, ...