Template for Hindley-Milner based languages
Why do you think that https://github.com/nomyx/Nomyx is a good alternative to hindley-milner
Template for Hindley-Milner based languages
Why do you think that https://github.com/nomyx/Nomyx is a good alternative to hindley-milner