tptp v0.1.2.0 Release Notes
Release Date: 2020-04-03 // over 4 years 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.