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. x-revision: 1 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.4 || ==9.8.2 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.23 , void >=0.6 && <0.8 , th-desugar >=1.8 && <1.18 default-language: Haskell2010