name:          eq
category:      Type System
version:       0.2.0
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, Dan Doel
synopsis:      GADT-based type-level equality
description:   GADT-based type-level equality
build-type:    Simple

source-repository head
  type: git
  location: git://github.com/ekmett/eq.git

library
  build-depends: 
    base >= 4 && < 5,
    semigroupoids >= 1.1.1 && < 1.2.0

  extensions: GADTs, TypeOperators

  exposed-modules:
    Data.Eq.Type

  ghc-options: -Wall