An implementation of the Hindley-Milner type inference/reconstruction algorithm in Ruby.

This implementation is based on the python version, making this the fifth in the line of the implementations.

This was done in order to better understand how HM-inference, and Algorithm W work for my language Brick. There will probably follow either a C or C++ version, that is closer to the Visitor pattern, in order to make AST traversals easy, but without Boost. ##Usage

ruby hm.rb

yard doc hm.rb