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