1 unstable release

0.1.0 Aug 26, 2019

#15 in #rewriting

MIT/Apache

6KB

Term Rewriting Systems

Documentation Crate informations Repository

Provides Term Rewriting Systems for Rust using the terms crate.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~1.4–2MB
~37K SLoC