name: equational-reasoning
version: 0.5.0.0
cabal-version: >=1.8
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: (c) Hiromi ISHII 2013-2014
maintainer: konn.jinro_at_gmail.com
synopsis: Proof assistant for Haskell using DataKinds & PolyKinds
description:
    A simple convenient library to write equational / preorder proof as in Agda.
category: Math
author: Hiromi ISHII
tested-with: GHC ==7.10.3 GHC ==8.0.1

source-repository head
    type: git
    location: git://github.com/konn/equational-reasoning-in-haskell.git

library
    exposed-modules:
        Proof.Equational
        Proof.Propositional
        Proof.Induction
        Proof.Propositional.Inhabited
        Proof.Propositional.Empty
    build-depends:
        base ==4.*,
        containers >=0.5,
        template-haskell >=2.11.1.0,
        th-desugar >=1.6,
        th-extras >=0.0.0.4,
        void >=0.6 && <0.8,
        singletons >=2.1 && <2.4
    other-modules:
        Proof.Internal.THCompat
        Proof.Propositional.TH
    ghc-options: -Wall