3rd Year Project

An experimental system for term-graph rewriting

The current implementation is written to run on Windows, however the user interface is very distinct from the main code, and so it would very be easy to extend onto Linux.