The eq package

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

Leibnizian equality

Properties

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
Dependencies base (>=4 && <4.6), groupoids (>=0.2.1.1 && <0.3), semigroupoids (>=1.3.1.2 && <1.4) [details]
License BSD3
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/
Bug tracker http://github.com/ekmett/eq/issues
Source repository head: git clone git://github.com/ekmett/eq.git
Uploaded Thu May 10 20:44:50 UTC 2012 by EdwardKmett
Updated Sat May 28 06:21:04 UTC 2016 by AdamBergmark to revision 1
Distributions LTSHaskell:4.0.4, NixOS:4.0.4, Stackage:4.0.4, Tumbleweed:4.0.4
Downloads 5830 total (44 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees