Example implementation of Algorithm W for Hindley-Milner type inference
Why do you think that https://github.com/DanielG/ghc-mod is a good alternative to AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference
Why do you think that https://github.com/DanielG/ghc-mod is a good alternative to AlgorithmW