tptp v0.1.2.0 Release Notes

Release Date: 2020-04-03 // over 1 year ago
    • ๐Ÿ“œ 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.


Previous changes from v0.1.1.0

    • ๐Ÿ“œ 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.