trs 0.1.0

Term Rewriting Systems
Documentation 
[package]
name = "trs"
version = "0.1.0"
authors = ["Timothée Haudebourg <timothee.haudebourg@irisa.fr>"]
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"