homepage: ''
changelog-type: markdown
hash: 2cc0e74c8cafab0046a8bf4e641b738501e835a2f60763b4c0abff0a49749328
test-bench-deps:
  base: -any
  universe-base: -any
  heyting-algebras: -any
  lattices: -any
  containers: -any
  tasty-quickcheck: -any
  tasty: -any
  QuickCheck: -any
maintainer: profunctor@pm.me
synopsis: Heyting and Boolean algebras
changelog: ! '# Revision history for heyting-algebra


  ## 0.0.1.0 -- YYYY-mm-dd


  * First version. Released on an unsuspecting world.

'
basic-deps:
  base: ! '>=4.9 && <4.13'
  universe-base: ! '>=1.0 && <1.1'
  unordered-containers: ! '>=0.2.6.0 && <0.3'
  lattices: ! '>=1.0 && <1.11'
  tagged: ! '>=0.8.5 && <0.9'
  containers: ! '>=0.4.2 && <0.7'
  free-algebras: ! '>=0.0.4 && <0.0.6'
  hashable: ! '>=1.2.6.1 && <1.3'
all-versions:
- '0.0.1.0'
author: Marcin Szamotulski
latest: '0.0.1.0'
description-type: haddock
description: ! 'This package provides Heyting and Boolean operations together

  with various constructions of Heyting algebras.'
license-name: MPL-2.0

Update from Hackage at 2018-10-05T21:48:36Z
Update from Hackage at 2018-10-05T21:48:36Z
