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 (>=0.1.1.1 && <0.2), semigroupoids (>=1.2.4 && <1.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/
Source repositoryhead: git clone git://github.com/ekmett/eq.git
UploadedThu Aug 4 20:00:41 UTC 2011 by EdwardKmett
DistributionsStackage:4.0.3
Downloads2086 total (109 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees