#unification #arxiv #algorithum

rust-unify

A unification algorithum implementation in rust

1 unstable release

Uses old Rust 2015

0.1.0 Jan 5, 2018

#4 in #unification

MIT license

8KB
153 lines

rust-unify

Build Status codecov

A unification algorithum implementation in rust.

Refrences

Dependencies

~13KB