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