Version 0.0.1.1-0 of heyting-algebras is deprecated.
The latest version of heyting-algebras is 0.2.0.1-0.
test:heyting-algebras-test
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=0
- containers lib:containers >=0
- heyting-algebras lib:heyting-algebras >=0
- lattices lib:lattices >=0
- tasty lib:tasty >=0
- tasty-quickcheck lib:tasty-quickcheck >=0
- universe-base lib:universe-base >=0
Reverse dependencies
None.