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