Selected Tags

Click on a tag to remove it

Dependent packages

Showing projects tagged as Dependent Types and 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