dev-haskell/dependent-sum
Dependent sum type
Runtime Dependencies
dependent-sum-0.7.1.0-r1
>=dev-haskell/constraints-extras-0.2:=[profile?
]
<dev-haskell/constraints-extras-0.4:=[profile?
]
>=dev-haskell/some-1.0.1:=[profile?
]
>=dev-lang/ghc-8.0.1:=
dependent-sum-0.6.2.0
>=dev-haskell/constraints-extras-0.2:=[profile?
]
<dev-haskell/constraints-extras-0.4:=[profile?
]
>=dev-lang/ghc-8.0.1:=
dependent-sum-0.4
>=dev-lang/ghc-7.4.1:=