Lib.rs

›
#unification #arxiv #algorithum #ar-xiv-cs-0603080 #efficent

rust-unify

Rust 中的一种统一算法实现

由 Zoey Sheffield 编写

1 个不稳定版本

使用旧的 Rust 2015

0.1.0 2018年1月5日

5 在 #unification 中排名

MIT 许可证

8KB
153 行

rust-unify

Build Status codecov

Rust 中的一种统一算法实现。

参考

依赖

~12KB