taddeus/trs

Autore	SHA1 Messaggio	Data
Sander Mathijs van Veen	4ffbcb2c05 Fixed negation/substraction n-ary bug and added error location tracking.	14 anni fa
Taddeus Kroes	513c04f37f Implemented some basis rewrite rules, along with unit tests for node.py.	14 anni fa
Sander Mathijs van Veen	bc910e29ef Started with constructing an expression tree in the parser.	14 anni fa
Sander Mathijs van Veen	ad2014517d Added basic graph rewrite prototype.	14 anni fa