0.3.1 October 19th 2015
- Find more unifications:
(i * a) ~ j ==> [a := div j i], when i and j are integers, and mod j i == 0.
(i * a) + j ~ k ==> [a := div (k-j) i], when i, j, and k are integers, and k-j >= 0 and mod (k-j) i == 0.
0.3 June 3rd 2015
- Find more unifications:
<TyApp xs> + x ~ 2 + x ==> [<TyApp xs> ~ 2]
- Fixes bugs:
- Unifying
a*b ~ b now returns [a ~ 1]; before it erroneously returned [a ~ ], which is interpred as [a ~ 0]...
- Unifying
a+b ~ b now returns [a ~ 0]; before it returned the undesirable, though equal, [a ~ ]
0.2.1 May 6th 2015
- Update
Eq instance of SOP: Empty SOP is equal to 0
0.2 April 22nd 2015
- Finds more unifications:
(2 + a) ~ 5 ==> [a := 3]
(3 * a) ~ 0 ==> [a := 0]
0.1.2 April 21st 2015
- Don't simplify expressions with negative exponents
0.1.1 April 17th 2015
0.1 March 30th 2015