1 unstable release
Uses old Rust 2015
| 0.1.0 | Jan 5, 2018 |
|---|
#5 in #unification
8KB
153 lines
rust-unify
A unification algorithum implementation in rust.
Refrences
- Yet Another Efficent Unification Algorithum (arXiv:cs/0603080)
Dependencies
~12KB