All Versions
6
Latest Version
Avg Release Cycle
66 days
Latest Release
566 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.