name:          equational-reasoning
version:       0.7.0.2
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-2020
category:      Math
build-type:    Simple
tested-with:
  GHC ==9.0.2
   || ==9.2.8
   || ==9.4.8
   || ==9.6.3
   || ==9.8.1

cabal-version: >=1.10

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

library
  exposed-modules:
    Proof.Equational
    Proof.Propositional
    Proof.Propositional.Empty
    Proof.Propositional.Inhabited

  other-modules:    Proof.Propositional.TH
  ghc-options:      -Wall
  build-depends:
      base              >=4    && <5
    , containers        >=0.5  && <0.7
    , template-haskell  >=2.11 && <2.22
    , void              >=0.6  && <0.8
    , th-desugar >=1.8 && <1.17

  default-language: Haskell2010