# AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference