rust-unify
| Crates.io | rust-unify |
| lib.rs | rust-unify |
| version | 0.1.0 |
| created_at | 2018-01-05 16:17:21.430904+00 |
| updated_at | 2018-01-05 16:17:21.430904+00 |
| description | A unification algorithum implementation in rust. |
| homepage | |
| repository | https://github.com/bongo227/rust-unify |
| max_upload_size | |
| id | 45636 |
| size | 9,230 |
Zoey Sheffield (zoeyfyi)
documentation
README
rust-unify
A unification algorithum implementation in rust.
Refrences
- Yet Another Efficent Unification Algorithum (arXiv:cs/0603080)