cabal-version: 2.0
name: heyting-algebras
version: 0.2.0.1
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-2021 Marcin Szamotulski
category: Math
build-type: Simple
extra-source-files:
ChangeLog.md
README.md
tested-with: GHC==8.10.4
library
exposed-modules: Algebra.Heyting.Layered
Algebra.Heyting.BoolRing
Algebra.Heyting.CounterExample
Algebra.Heyting.Properties
Algebra.Boolean
Algebra.Boolean.Free
Algebra.Boolean.Properties
reexported-modules: lattices:Algebra.Heyting
, lattices:Algebra.Heyting.Free
build-depends: base >= 4.9 && < 4.16
, containers >= 0.4.2 && < 0.7
, free-algebras >= 0.1.0.1 && < 0.1.1.0
, hashable >= 1.2.6.1 && < 1.4
, lattices >= 2.0 && < 2.1
, 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.2
hs-source-dirs: src
default-language: Haskell2010
default-extensions: FlexibleInstances
RankNTypes
PackageImports
ghc-options: -Wall
test-suite test
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