/term-rewriting-rs

a Rust implementation of first-order term rewriting systems (TRS)

Primary LanguageRustMIT LicenseMIT

Stargazers