• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for boolean-normal-forms-0.0.1.1 candidate source tarball

boolean-normal-forms-0.0.1.1/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• boolean-normal-forms.cabal
• doc-formulae/
  • cnf.svg
  • dnf.svg
  • nnf.svg
• src/
  • Data/
    • Algebra/
      • Boolean/
        • CNF.hs
        • CoBoolean.hs
        • DNF.hs
        • FreeBoolean.hs
        • NNF.hs
        • Negable.hs
        • NormalForm.hs
        • CNF/
          • List.hs
          • Set.hs
        • DNF/
          • List.hs
          • Set.hs
        • NNF/
          • Set.hs
          • Tree.hs
• tests/
  • BooleanLaws.hs
  • BooleanModelLaws.hs
  • CNFList.hs
  • CNFSet.hs
  • DNFList.hs
  • DNFSet.hs
  • FreeBoolean.hs
  • FreeBooleanTests.hs
  • Main.hs
  • NNFSet.hs
  • NNFTree.hs
  • NegableLaws.hs
  • SimplifyLaws.hs