dependent-map-0.1.1.1: Dependent finite maps (partial dependent products)

The dependent-map package

Dependent finite maps (partial dependent products)

Properties

Versions0.1, 0.1.1, 0.1.1.1
Dependenciesbase (≥3 & <5), containers, dependent-sum
LicenseOtherLicense
AuthorJames Cook <mokus@deepbondi.net>
MaintainerJames Cook <mokus@deepbondi.net>
Stabilityprovisional
CategoryData, Dependent Types
Home pagehttps://github.com/mokus0/dependent-map
Source repositorygit clone git://github.com/mokus0/dependent-map.git
Upload dateWed Aug 10 14:45:07 UTC 2011
Uploaded byJamesCook
Built onghc-7.2

Modules

Downloads