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), semigroupoids (>=3)
LicenseBSD3
CopyrightCopyright (C) 2011-2013 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
UploadedMon Apr 8 14:18:04 UTC 2013 by EdwardKmett
DistributionsStackage:4.0.3
Downloads2113 total (107 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