A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
Primary LanguageRustMozilla Public License 2.0MPL-2.0