# heyting-algebras: Heyting and Boolean algebras

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

[Skip to Readme]

Versions [RSS] [faq] | 0.0.1.0, 0.0.1.1, 0.0.1.2, 0.0.2.0, 0.2.0.1 (info) |
---|---|

Change log | ChangeLog.md |

Dependencies | base (>=4.9 && <4.16), containers (>=0.4.2 && <0.7), free-algebras (>=0.1.0.1 && <0.1.1.0), hashable (>=1.2.6.1 && <1.4), lattices (==2.0.*), semiring-simple (>=1.0 && <1.2), tagged (>=0.8.5 && <0.9), universe-base (>=1.0 && <1.2), unordered-containers (>=0.2.6.0 && <0.3) [details] |

License | BSD-3-Clause |

Copyright | (c) 2018-2021 Marcin Szamotulski |

Author | Marcin Szamotulski |

Maintainer | profunctor@pm.me |

Category | Math |

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

Uploaded | by coot at 2021-03-27T13:40:47Z |

Distributions | NixOS:0.2.0.1 |

Downloads | 1509 total (17 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2021-03-27 [all 1 reports] |

## Downloads

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