term_rewriting 0.6.0

A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Documentation 
{
  "git": {
    "sha1": "ebcf5d0d9db6b4ca9d17dd3e18523f52961a0b97"
  }
}