The eq package

[Tags: bsd3, library]

GADT-based type-level 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, 4.0.4
Change logNone available
Dependenciesbase (==4.*), semigroupoids (>=1.1.1 && <1.2.0)
LicenseBSD3
CopyrightCopyright (C) 2011 Edward A. Kmett, Dan Doel
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
UploadedSat Feb 5 12:11:06 UTC 2011 by EdwardKmett
DistributionsLTSHaskell:4.0.4, NixOS:4.0.4, Stackage:4.0.4
Downloads3344 total (256 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