-- Initial reduce-equations.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: reduce-equations
version: 0.1.1.0
synopsis: Simplify a set of equations by removing redundancies
description: Simplify a set of equations by removing redundancies
homepage: http://chriswarbo.net/projects/repos/reduce-equations.html
license: BSD3
license-file: LICENSE
author: Chris Warburton
maintainer: chriswarbo@gmail.com
-- copyright:
category: Math
build-type: Simple
extra-source-files: README
, test.sh
, test/data/nat-simple-expect.json
, test/data/tip.json
, test/data/nat.json
, test/data/nat-simple-raw.json
, test/data/list-extras.json
cabal-version: >=1.10
source-repository head
type: git
location: http://chriswarbo.net/git/reduce-equations.git
library
exposed-modules: Algebra.Equation.Reduce
, Algebra.Equation.Internal
, Algebra.Equation.Internal.Eval
, Algebra.Equation.Internal.Types
-- other-modules:
-- other-extensions:
build-depends: base >= 4.8 && < 4.10
, aeson
, bytestring
, containers
, QuickCheck
, quickspec == 0.9.6
, transformers
, mtl
, haskell-src-exts >= 1.18.2
, stringable
, text
hs-source-dirs: src
default-language: Haskell2010
executable reduce-equations
main-is: Main.hs
-- other-modules:
-- other-extensions:
build-depends: base >= 4.8 && < 4.10
, reduce-equations
, aeson
hs-source-dirs: reduce-equations
default-language: Haskell2010
test-suite test
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
build-depends: base >= 4.8 && < 4.10
, reduce-equations
, quickspec == 0.9.6
, directory
, aeson
, bytestring
, haskell-src-exts >= 1.18.2
, MissingH
, stringable
, containers
, QuickCheck == 2.8.2
, text
, tasty >= 0.7
, tasty-quickcheck