Haskell Dependent packages

• « All Tags

Selected Tags

Click on a tag to remove it

• Dependent

More Tags

Click on a tag to add it and filter down

• Dependent Types
  2

Dependent packages

Showing projects tagged as Dependent

• dependent-map

  9.3 0.0 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.4 0.0 Haskell

  Dependent hash maps

• dependent-state

  1.8 0.0 Haskell

  Control structure similar to Control.Monad.State, ...