forked from haskell-rewriting/term-rewriting
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Changelog
40 lines (29 loc) · 908 Bytes
/
Changelog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
version 0.4.0.2
- compatibility with ghc-8.8.1 (bump quickcheck version)
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
version 0.3
- drop Control.Monad.Error import in Data.Rewriting.Term.Parse
- fix testsuite
* include all modules in source distribution
* build fix for recent QuickCheck
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
version 0.1.2.2
- fix build with ghc-7.10.1
version 0.1.2.1
- fix Data.Rewriting.CriticalPair.cpsIn and cpsOut
version 0.1.2
- update to parsec >= 3.1.6 API (thanks alpako!)
version 0.1.1
- no changelog (yet?)