Crates.io | rust-unify |
lib.rs | rust-unify |
version | 0.1.0 |
source | src |
created_at | 2018-01-05 16:17:21.430904 |
updated_at | 2018-01-05 16:17:21.430904 |
description | A unification algorithum implementation in rust. |
homepage | |
repository | https://github.com/bongo227/rust-unify |
max_upload_size | |
id | 45636 |
size | 9,230 |
A unification algorithum implementation in rust.