tptp v0.1.1.0 Release Notes

Release Date: 2019-12-07 // about 3 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.