# heyting-algebras: Heyting and Boolean algebras

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

[Skip to Readme]

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

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 repo | head: git clone https://github.com/coot/heyting-algebras |

Uploaded | by coot at Sat Feb 16 10:49:06 UTC 2019 |

Distributions | NixOS:0.0.2.0 |

Downloads | 992 total (75 in the last 30 days) |

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

Your Rating | |

Status | Docs available [build log] Last success reported on 2019-02-16 [all 1 reports] |

## Modules

[Index] [Quick Jump]

## Downloads

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