#系统 #推理 #实现

hindley-milner

Rust 中 Hindley-Milner 类型系统的实现

1 个不稳定版本

使用旧的 Rust 2015

0.1.0 2017年1月2日

#86#推理

MIT 许可证

39KB
768

hindley-milner

Hindley-Milner 类型推理在 Rust 中实现。基于 hindley-milner-python,由 Rob Smallshire 实现。

许可证

MIT

依赖项

~27KB