All Versions
Latest Version
Avg Release Cycle
32 days
Latest Release

Changelog History
Page 1

  • v1.6.0 Changes

    • 📜 The Unicode symbols for logical connectives are now accepted by the parser and command-line program: ¬, ∧, ∨, → and ↔.
    • 💥 Breaking API change: the assignments function now takes a list of expressions rather than a single expression.
    • 🆕 New parser which handles operator precedence and associativity. This change entails a dependency bump: Parsec 3 is now required.
    • 🛠 Fixed a bug in the toNNF function: doubly-negated expressions are now converted into normal form rather than just having the double negation removed.
    • ➕ Added an equivalents function checking whether a list of propositions are all mutually equivalent.
    • ➕ Added an implies function checking whether a set of expressions semantically entail some expression.
    • ➕ Added a simplify function to the NormalForms module, which simplifies expressions by removing stronger disjuncts and weaker conjuncts, as well as some other simplifications.
    • The toCNF and toDNF functions now further simplify their output using the simplify function.
    • ✅ Limit number of expressions tested by QuickCheck to ensure the test suite runs quickly and doesn't eat the test machine.
  • v1.5.0 Changes

    • 💥 Breaking API change: variables are now represented by a newtype wrapper Var around Chars, rather than just a String. This made it easier to write a good QuickCheck instance for this type.
    • ➕ Added QuickCheck instances for the Expr and Var datatypes.
    • ➕ Added a module to perform conversions of expressions to various normal forms, including negation normal form, conjunctive normal form and disjunctive normal form. Its use is supported in interactive mode by prefixing an expression with "nnf", "cnf" or "dnf". Tests for the module are included and can be run with cabal test. The module is exported as Data.Logic.Propositional.NormalForms and must be imported separately.
    • The Data.Logic.Propositional.Tables module is now exported by the library. Its truthTable and truthTableP functions are still exported by the main Data.Logic.Propositional module (as well as by the newly exposed module) for backwards compatibility.
    • The values function is now exported.
  • v1.5.0.3

    November 24, 2012
  • v1.5.0.2

    November 13, 2012
  • v1.5.0.1

    November 13, 2012
  • v1.5.0.0

    November 11, 2012
  • v1.4.0 Changes

    October 25, 2011
    • 📜 Make the parser slightly more liberal: unparenthesised expressions with a binary connective as their primary connective such as "a | b" are now parsed correctly, as are expressions with superfluous spaces such as " ( c -> ~ d )".
  • v1.4.0.2

    January 04, 2012
  • v1.4.0.1

    October 31, 2011
  • v1.3.1 Changes

    October 17, 2011
    • ➕ Added command history and better text input handling with Haskeline.