The eq package

[Tags: bsd3, library]

Leibnizian equality


Properties

Versions0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.3.1, 0.3.4, 0.3.4.1, 0.3.4.2, 0.3.4.3, 0.3.5, 0.3.6, 0.3.7, 0.3.7.1, 3.0, 3.1, 3.1.1, 4.0, 4.0.1, 4.0.2, 4.0.3
Dependenciesbase (==4.*), groupoids (==3.0.*), semigroupoids (==3.0.*)
LicenseBSD3
CopyrightCopyright (C) 2011 Edward A. Kmett
AuthorEdward A. Kmett
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityprovisional
CategoryType System
Home pagehttp://github.com/ekmett/eq/
Bug trackerhttp://github.com/ekmett/eq/issues
Source repositoryhead: git clone git://github.com/ekmett/eq.git
Upload dateMon Dec 3 05:42:28 UTC 2012
Uploaded byEdwardKmett
Downloads1639 total (136 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees