heyting-algebras: Heyting and Boolean algebras

[ bsd3, library, math ] [ Propose Tags ]

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

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.6), hashable (>=1.2.6.1 && <1.3), lattices (>=1.0 && <1.11), QuickCheck (>=2.10 && <2.13), tagged (>=0.8.5 && <0.9), universe-base (==1.0.*), unordered-containers (>=0.2.6.0 && <0.3) [details]
License MPL-2.0
Copyright (c) 2018 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 Fri Oct 5 21:48:50 UTC 2018
Distributions NixOS:0.0.2.0
Downloads 472 total (30 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefaultType
export-properties

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

EnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees