#system #inference #implemented

hindley-milner

An implementation of the Hindley-Milner type system in Rust

1 unstable release

Uses old Rust 2015

0.1.0 Jan 2, 2017

#95 in #inference

MIT license

39KB
768 lines

hindley-milner

Hindley-Milner type inference implemented in Rust. Based on hindley-milner-python by Rob Smallshire.

License

MIT

Dependencies

~27KB