eq: Leibnizian equality

[ bsd3, library, type-system ] [ Propose Tags ] [ Report a vulnerability ]

Leibnizian equality

Modules

[Index]

Flags

Automatic Flags
NameDescriptionDefault
typefamiliesEnabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.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, 4.1, 4.2, 4.2.1, 4.3
Dependencies base (>=4 && <4.6), groupoids (>=0.1.1.2 && <0.3), semigroupoids (>=1.2.6.1 && <1.4) [details]
License BSD-3-Clause
Copyright Copyright (C) 2011 Edward A. Kmett
Author Edward A. Kmett
Maintainer Edward A. Kmett <ekmett@gmail.com>
Uploaded by EdwardKmett at 2012-04-09T07:08:32Z
Revised Revision 1 made by AdamBergmark at 2016-05-28T06:21:17Z
Category Type System
Home page http://github.com/ekmett/eq/
Source repo head: git clone git://github.com/ekmett/eq.git
Distributions LTSHaskell:4.3, NixOS:4.3, Stackage:4.3
Reverse Dependencies 3 direct, 9032 indirect [details]
Downloads 25084 total (49 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]