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
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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