I am pretty new to type inference and was wondering if there are any good extensions or papers out there for HM that allows allowing more than one error.
I might be missi
