taddeus/trs: Mathematical term rewriting system @ 49391e6c0ff2709501efc99ee7b8b8b91e6ac159

Taddeus Kroes 49391e6c0f Bugfix: added negation copy to substitute function.		пре 14 година
..
graph_drawing @ ab2d0af740	49391e6c0f Bugfix: added negation copy to substitute function.	пре 14 година
mathjax @ 5612b3f296	073810b9d7 Added MathJax as an external dependency.	пре 14 година
pybison @ 91979192cf	8ce109d8d3 Upgraded pybison to latest version.	пре 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 година