tptp v0.1.0.3 Release Notes

Release Date: 2019-06-10 // almost 5 years ago
    • 👌 Support compilation with GHC 7.8.