taddeus/trs: Mathematical term rewriting system @ 0e08d36432f1b9833e0470cad4ceca376fc495f3

Sander Mathijs van Veen 53f649a7ab Parser will add negation to left-most child of scope.		преди 14 години
..
graph_drawing @ fbfd0f2a3a	53f649a7ab Parser will add negation to left-most child of scope.	преди 14 години
pybison @ 4fac41ac1c	6c45055905 Updated to latest pybison and graph_drawing versions.	преди 14 години
__init__.py	bc910e29ef Started with constructing an expression tree in the parser.	преди 14 години
rules.mk	2ac45d2503 Updated pybison and adjusted build system accordingly.	преди 14 години