name: equational-reasoning
version: 0.5.0.0
cabal-version: >=1.8
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: (c) Hiromi ISHII 2013-2014
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 ==7.10.3 GHC ==8.0.1
source-repository head
type: git
location: git://github.com/konn/equational-reasoning-in-haskell.git
library
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.1.0,
th-desugar >=1.6,
th-extras >=0.0.0.4,
void >=0.6 && <0.8,
singletons >=2.1 && <2.4
other-modules:
Proof.Internal.THCompat
Proof.Propositional.TH
ghc-options: -Wall