summaryrefslogtreecommitdiff
path: root/equational-reasoning.cabal
blob: 30fbe3372bccc7140a9b42c2eca564a91d45b294 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
-- Initial equational-reasoning.cabal generated by cabal init.  For further
--  documentation, see http://haskell.org/cabal/users-guide/

name:                equational-reasoning
version:             0.6.0.0
synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds
description:         A simple convenient library to write equational / preorder proof as in Agda.
                     Since 0.6.0.0, this no longer depends on @singletons@ package, and the @Proof.Induction@ module goes to @equational-reasoning-induction@ package.
license:             BSD3
license-file:        LICENSE
author:              Hiromi ISHII
maintainer:          konn.jinro_at_gmail.com
copyright:           (c) Hiromi ISHII 2013-2018
category:            Math
build-type:          Simple
tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1, GHC == 8.6.3
cabal-version:       >=1.8

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

library
  exposed-modules:     Proof.Equational, Proof.Propositional
                     , Proof.Propositional.Inhabited
                     , Proof.Propositional.Empty
  other-modules:       Proof.Internal.THCompat
                     , Proof.Propositional.TH
  ghc-options:         -Wall
  build-depends:       base             >= 4      && < 5
                     , containers       >= 0.5    && < 0.7
                     , template-haskell >= 2.11   && < 2.16
                     , th-extras        == 0.0.*
                     , void             >= 0.6    && < 0.8
  if impl(ghc >= 8.4)
     build-depends:    th-desugar       >= 1.6 && < 1.11
  else
     build-depends:    semigroups       == 0.18.*
     build-depends:    th-desugar       >= 1.6 && < 1.11