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
Downloads3072 total (167 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