eq-0.3.4: eq.cabal
name: eq
category: Type System
version: 0.3.4
license: BSD3
cabal-version: >= 1.6
license-file: LICENSE
author: Edward A. Kmett
maintainer: Edward A. Kmett <ekmett@gmail.com>
stability: provisional
homepage: http://github.com/ekmett/eq/
copyright: Copyright (C) 2011 Edward A. Kmett
synopsis: Leibnizian equality
description: Leibnizian equality
build-type: Simple
source-repository head
type: git
location: git://github.com/ekmett/eq.git
library
other-extensions:
CPP
Rank2Types
TypeOperators
build-depends:
base >= 4 && < 5,
semigroupoids >= 1.2.2 && < 1.3.0,
groupoids >= 0.1 && < 0.2
exposed-modules:
Data.Eq.Type
ghc-options: -Wall