« Changelog History


tptp v0.1.1.0 Release Notes

Release Date: 2019-12-07 // over 4 years ago

    • 📜 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.