name: heyting-algebras
version: 0.0.2.0
synopsis: Heyting and Boolean algebras
description:
This package provides Heyting and Boolean operations together
with various constructions of Heyting algebras.
license: BSD3
license-file: LICENSE
author: Marcin Szamotulski
maintainer: profunctor@pm.me
copyright: (c) 2018-2019 Marcin Szamotulski
category: Math
build-type: Simple
extra-source-files:
ChangeLog.md
README.md
cabal-version: >=1.10
tested-with: GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.3
library
exposed-modules: Algebra.Heyting
Algebra.Heyting.Free
Algebra.Heyting.Layered
Algebra.Heyting.BoolRing
Algebra.Heyting.CounterExample
Algebra.Heyting.Properties
Algebra.Boolean
Algebra.Boolean.Free
Algebra.Boolean.Properties
build-depends: base >= 4.9 && < 4.13
, containers >= 0.4.2 && < 0.7
, free-algebras >= 0.0.4 && < 0.0.8
, hashable >= 1.2.6.1 && < 1.3
, lattices >= 1.0 && < 1.8
, semiring-simple >= 1.0 && < 1.2
, tagged >= 0.8.5 && < 0.9
, unordered-containers
>= 0.2.6.0 && < 0.3
, universe-base >= 1.0 && < 1.1
hs-source-dirs: src
default-language: Haskell2010
default-extensions: FlexibleInstances
RankNTypes
PackageImports
ghc-options: -Wall
test-suite tests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
build-depends: base
, containers
, lattices
, universe-base
, QuickCheck
, heyting-algebras
, tasty
, tasty-quickcheck
default-language: Haskell2010
default-extensions: FlexibleInstances
, TypeApplications
ghc-options: -threaded -rtsopts -with-rtsopts=-N
source-repository head
type: git
location: https://github.com/coot/heyting-algebras