0.5.0.0
- Add
GFormulaTerm
constructor to GData
and support $fot
formula_data
(#1, #2, #19, thanks to @agomezl)
- Produce valid
$cnf
formula_data
(#23)
- Improve test suites
0.4.7.0
- Fix to work with happy >=1.19.10
0.4.6.0
- Add Semigroup instances for Monoids and fix cabal-version warning (Thanks to @msakai)
0.4.5.0
- Fix compilation error with containers >=0.5.8 (Thanks to @msakai)
0.4.4.0
- Fix compilation error with transformers >=0.5.1 and GHC <7.10 (Thanks to @msakai)
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