@hackage AlgorithmW0.1.0.2

Example implementation of Algorithm W for Hindley-Milner type inference.

Complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.