term_rewriting 0.7.0

A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Documentation