@hackage heyting-algebras0.0.1.1

Heyting and Boolean algebras

Categories
- Mathematics
License
MPL-2.0
Maintainer
profunctor@pm.me
Links
Versions
- 0.2.0.1 Sat, 27 Mar 2021
- 0.0.2.0 Sat, 16 Feb 2019
- 0.0.1.2 Fri, 5 Oct 2018
- 0.0.1.1 Fri, 5 Oct 2018
- 0.0.1.0 Fri, 5 Oct 2018

This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.

Deprecated
This release has been deprecated in favour of: @hackage/heyting-algebras-0.2.0.1
Tested Compilers
- 8.4.3
- 8.2.2
Dependencies (9)
- base >=4.9 && <4.13
- containers >=0.4.2 && <0.7
- QuickCheck >=2.10 && <2.13
- free-algebras >=0.0.4 && <0.0.6
- hashable >=1.2.6.1 && <1.3
- lattices >=1.0 && <1.11
Dependents (1)
@hackage/acme-everything

Package Flags

export-properties

(on by default)

Export quickcheck properties from library; this adds QuickCheck as a dependency.