rust-unify
A unification algorithum implementation in rust.
Refrences
Yet Another Efficent Unification Algorithum (
arXiv:cs/0603080
)
