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