Cabal revisions of boolean-normal-forms-0.0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
name: boolean-normal-forms version: 0.0.1+x-revision: 1 synopsis: Boolean normal form: NNF, DNF & CNF description: The provided types that might be useful in symbolic manipulation of propositional logic expressions. license: MIT GHC==7.8.4, GHC==7.10.3, GHC==8.0.2,- GHC==8.2.2+ GHC==8.2.2,+ GHC==8.4.3,+ GHC==8.6.1 library hs-source-dirs: src ConstraintKinds, TypeFamilies, ScopedTypeVariables- build-depends: base >=4.6 && <4.11,- containers >=0.5 && <0.6,+ build-depends: base >=4.6 && <4.13,+ containers >=0.5 && <0.7, cond >=0.4.1 && <0.5, deepseq >=1.1.0.0 && <1.5 default-language: Haskell2010 cond, tasty >=0.8, tasty-quickcheck >=0.8.0.3,- QuickCheck >=2.10 && <2.11,+ QuickCheck >=2.10 && <2.13, boolean-normal-forms