/rewrite-experiments

Some experiments with term rewriting in multiple term rewriting frameworks

Primary LanguagePython

No issues in this repository yet.