A Rust implementation of Algorithm W, which is a type inference algorithm for the Hindley-Milner type-system. The main reference used was the Haskell implementation detailed in Algorithm W Step By Step
A Rust implementation of Algorithm W, which is a type inference algorithm for the Hindley-Milner type-system. The main reference used was the Haskell implementation detailed in Algorithm W Step By Step