 Taddeus Kroes
|
d86dda9273
Finished separating parser state and interactive state, and added first version of strategy.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
0a006952ae
Added rules and chain test for solving der(x ^ x) (among others).
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
5acc67df21
Fixed leiden oefenopgaves test cases 4.3 and 4.5.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
e20e19366d
Added some numeric division rules.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
1d21942339
Successfully rewriting of assignment 1 of leiden oefenopgaven.
|
14 năm trước cách đây |
