Hindley-Milner type inference "Algorithm W" in Haskell
Primary LanguageHaskell
Hindley-Milner type inference "Algorithm W" in Haskell.
Based on Algorithm W step by step