@hackage / heyting-algebras

Heyting and Boolean algebras

Latest0.2.0.1

Dependencies

library:heyting-algebras (9 dependencies)

@hackage / free-algebras Free algebras
- Version: >=0.1.0.1 && <0.1.1.0
- License: MPL-2.0
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.8.5 && <0.9
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4.2 && <0.7
- License: BSD-3-Clause
@hackage / universe-base A class for finite and recursively enumerable types.
- Version: >=1.0 && <1.2
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.6.0 && <0.3
- License: BSD-3-Clause
@hackage / semiring-simple A module for dealing with semirings.
- Version: >=1.0 && <1.2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <4.16
- License: BSD-3-Clause
@hackage / lattices Fine-grained library for constructing and manipulating lattices
- Version: >=2.0 && <2.1
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.2.6.1 && <1.4
- License: BSD-3-Clause

test:test (8 dependencies)