Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
logic-TPTP-0.4.3.0
0.4.3.0
GHC 7.10.1 compatibility (Thanks to @agomezl)
0.4.2.0
For transformers < 0.4.0.0, use the Eq/Ord/Show/Read Data.Functor.Identity orphan instances from transformers-compat instead of defining our own