[package] name = "trs" version = "0.1.0" authors = ["Timothée Haudebourg "] edition = "2018" categories = ["data-structures", "science"] keywords = ["term", "pattern", "rewriting", "tree"] description = "Term Rewriting Systems" repository = "https://github.com/regular-pv/trs" documentation = "https://docs.rs/trs" license = "MIT/Apache-2.0" readme = "README.md" [dependencies] terms = "0.1.1"