equational-reasoning-0.5.1.0: equational-reasoning.cabal

name: equational-reasoning
version: 0.5.1.0
cabal-version: >=1.8
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: (c) Hiromi ISHII 2013-2018
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 ==8.0.2 GHC ==8.2.2 GHC ==8.4.1

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

library
    
    if impl(ghc >=8.4)
        build-depends:
            th-desugar ==1.8.*
    else
        build-depends:
            semigroups ==0.18.*,
            th-desugar >=1.6 && <1.8
    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 && <2.14,
        th-extras ==0.0.*,
        void >=0.6 && <0.8,
        singletons >=2.1 && <2.5
    other-modules:
        Proof.Internal.THCompat
        Proof.Propositional.TH
    ghc-options: -Wall