The dependent-map package

[Tags: library]

Dependent finite maps (partial dependent products)

Properties

Versions0.1, 0.1.1, 0.1.1.1, 0.1.1.2, 0.1.1.3, 0.2.0.1
Change logNone available
Dependenciesbase (>=3 && <5), containers, dependent-sum [details]
LicenseOtherLicense
AuthorJames Cook <mokus@deepbondi.net>
MaintainerJames Cook <mokus@deepbondi.net>
Stabilityprovisional
CategoryData, Dependent Types
Home pagehttps://github.com/mokus0/dependent-map
Source repositoryhead: git clone git://github.com/mokus0/dependent-map.git
UploadedWed Jul 13 14:12:35 UTC 2011 by JamesCook
DistributionsDebian:0.1.1.3, LTSHaskell:0.1.1.3, NixOS:0.2.0.1, Stackage:0.1.1.3
Downloads3060 total (202 in last 30 days)
Votes
1 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees