-- Initial equational-reasoning.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: equational-reasoning
version: 0.0.1.0
synopsis: Proof assistant for Haskell using DataKinds & PolyKinds
-- description:
license: BSD3
license-file: LICENSE
author: Hiromi ISHII
maintainer: konn.jinro_at_gmail.com
-- copyright:
category: Math
build-type: Simple
cabal-version: >=1.8
library
exposed-modules: Proof.Equational, Proof.Propositional
build-depends: base == 4.6.*
, singletons == 0.8.*
, tagged == 0.6.*
, void == 0.6.*