tptp-0.1.0.3: CHANGELOG.md
# Revision history for tptp ## 0.1.0.3 -- 2019-06-11 * Support compilation with GHC 7.8. ## 0.1.0.0 -- 2019-05-07 * First version. Released on an unsuspecting world. * Supported TPTP languages: CNF, FOF, TFF0, TFF1.
# Revision history for tptp ## 0.1.0.3 -- 2019-06-11 * Support compilation with GHC 7.8. ## 0.1.0.0 -- 2019-05-07 * First version. Released on an unsuspecting world. * Supported TPTP languages: CNF, FOF, TFF0, TFF1.