# heyting-algebras: Heyting and Boolean algebras

**This is a package candidate release!** Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

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

[Skip to ReadMe]

## Properties

Versions | 0.0.1.0, 0.0.1.1, 0.0.1.2, 0.0.2.0, 0.0.2.0 |
---|---|

Change log | ChangeLog.md |

Dependencies | 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), universe-base (==1.0.*), unordered-containers (>=0.2.6.0 && <0.3) [details] |

License | BSD-3-Clause |

Copyright | (c) 2018-2019 Marcin Szamotulski |

Author | Marcin Szamotulski |

Maintainer | profunctor@pm.me |

Category | Math |

Source repository | head: git clone https://github.com/coot/heyting-algebras |

Uploaded | Sat Feb 16 10:38:44 UTC 2019 by coot |

## Modules

[Index]

## Downloads

- heyting-algebras-0.0.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees