eq: Leibnizian equality

[ bsd3, library, type-system ] [ Propose Tags ]

Leibnizian equality

Versions 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
Dependencies base (==4.*), groupoids (>=0.1.1.2 && <0.3), semigroupoids (>=1.2.6.1 && <1.3.0) [details]
License BSD-3-Clause
Copyright Copyright (C) 2011 Edward A. Kmett
Author Edward A. Kmett
Maintainer Edward A. Kmett <ekmett@gmail.com>
Category Type System
Home page http://github.com/ekmett/eq/
Source repo head: git clone git://github.com/ekmett/eq.git
Uploaded by EdwardKmett at Sat Apr 7 11:40:10 UTC 2012
Distributions LTSHaskell:4.1, NixOS:4.1, Stackage:4.1, openSUSE:4.1
Downloads 9878 total (56 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
typefamiliesEnabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees