gentoo.mahdi.cz
dev-haskell
:dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
dependent-sum-0.7.2.0
public-domain
download
~amd64
haskell