term-rewriting 0.2.1 → 0.2.1.1
raw patch · 2 files changed
+8/−1 lines, 2 files
Files
- Changelog +7/−0
- term-rewriting.cabal +1/−1
Changelog view
@@ -1,3 +1,10 @@+version 0.2.1.1+ - Changelog++version 0.2.1+ - add Term.mapSides, Rule.map, Rules.map, Problem.map+ - fix build with ghc-8.0.2 (and remove overlapping instance)+ version 0.2 - fix argument order of Data.Rewriting.Rule.isVariantOf
term-rewriting.cabal view
@@ -1,5 +1,5 @@ name: term-rewriting-version: 0.2.1+version: 0.2.1.1 stability: experimental author: Martin Avanzini, Bertram Felgenhauer,