term-rewriting 0.4 → 0.4.0.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.4.0.1+ - Changelog++version 0.4+ - nicer pretty printing of Problems+ - support simple signatures ("(SIG ...)") in problems+ version 0.3.0.1 - compatibility with ghc-8.6.1
term-rewriting.cabal view
@@ -1,5 +1,5 @@ name: term-rewriting-version: 0.4+version: 0.4.0.1 stability: experimental author: Martin Avanzini, Bertram Felgenhauer,