All Versions
6
Latest Version
Avg Release Cycle
66 days
Latest Release
1630 days ago

Changelog History

  • v0.1.2.0 Changes

    April 03, 2020

    • 📜 Consume leading whitespace in the TSTP parser.

    • 🖨 Do not pretty print parenthesis in negated equality literals.

    • 📜 Parse superfluous parenthesis in types, terms and clauses.

    • ➕ Add a helper function 'unitClause'.

    • ➕ Add more tests and improve documentation.

    • Set more accurate lower bounds of the base and scientific dependencies.

    • 👌 Support compilation with GHC 8.8.3 and 8.10.1.

  • v0.1.1.0 Changes

    December 07, 2019

    • 📜 Parse SZS ontology information in the TSTP input.

    • 📜 Parse single line comments starting with #.

    • 🖨 Increase the upper bound of the prettyprinter dependency.

    • 👌 Support compilation with GHC 8.8.1.

  • v0.1.0.3 Changes

    June 10, 2019
    • 👌 Support compilation with GHC 7.8.

  • v0.1.0.2

    May 07, 2019

  • v0.1.0.1

    May 07, 2019

  • v0.1.0.0 Changes

    May 07, 2019

    • 🚀 First version. Released on an unsuspecting world.

    • 👌 Supported TPTP languages: CNF, FOF, TFF0, TFF1.