algorithm-w-rs

Simple implementation of Hindley-Milner type inference in Rust.

Implements Algorithm W, based on https://github.com/mgrabmueller/AlgorithmW.

Usage

You can compile and run it using Cargo:

# Run the CLI by calling `cargo run` and passing the file to parse as an argument.
cargo run -- <path/to/file>