randomguy3

Symmetry removal / discrimination nets for faster matching

1

[removed old text, as no longer relevant]

Annotations

2

It would be really cool to be able to put arbitrary text/LaTeX/images on the graph, at arbitrary locations. This could be stored in the graph's userdata. For example, if a...

Context for matching/rewriting

1

Matching should accept a context. Rewriting also, and rewriting should be able to modify it.