@hackage heyting-algebras0.0.2.0

Heyting and Boolean algebras

Categories
- Mathematics
License
BSD-3-Clause
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

Installation
In your cabal file:
Tested Compilers
Dependencies (9)
- 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
Dependents (1)
@hackage/acme-everything

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