terms
| Crates.io | terms |
| lib.rs | terms |
| version | 0.1.3 |
| source | src |
| created_at | 2019-08-26 13:07:19.288205 |
| updated_at | 2020-09-01 20:19:57.524886 |
| description | Tree terms and patterns data structures |
| homepage | |
| repository | https://github.com/regular-pv/terms |
| max_upload_size | |
| id | 159775 |
| size | 39,459 |
Timothée Haudebourg (timothee-haudebourg)
documentation
https://docs.rs/terms
README
Tree terms and patterns
| Documentation | Crate informations | Repository |
Provides tree terms and patterns intended to be used with Terms Rewriting Systems (with the term-rewriting crate) and Tree Automata (with the tree-automata crate).
License
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
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.