dev-haskell/dependent-map
Dependent finite maps (partial dependent products)
Runtime Dependencies
dependent-map-0.4.0.0-r1
>=dev-haskell/constraints-extras-0.2.3.0:=[profile?
]
<dev-haskell/constraints-extras-0.5
>=dev-haskell/dependent-sum-0.6.1:=[profile?
]
<dev-haskell/dependent-sum-0.8
>=dev-lang/ghc-8.8.1:=
dev-lang/ghc:=[profile?
]