@hackage eq0.2.0

GADT-based type-level equality

Categories
- Type System
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
- 4.3 Sun, 12 Mar 2023
- 4.2.1 Thu, 1 Oct 2020
- 4.2 Tue, 24 Apr 2018
- 4.1 Wed, 10 Jan 2018
- 4.0.4 Fri, 15 May 2015
- 4.0.3 Sun, 1 Jun 2014

Installation
In your cabal file:
Dependencies (2)
- base >=4 && <5
- semigroupoids >=1.1.1 && <1.2.0
Dependents (3)
@hackage/acme-everything, @hackage/representable-tries, @hackage/syb-extras

GADT-based type-level equality