simply typed lambda calculus with hindley-milner type inference
Why do you think that https://github.com/MarwanAlsoltany/mighty is a good alternative to hindley-milner
simply typed lambda calculus with hindley-milner type inference
Why do you think that https://github.com/MarwanAlsoltany/mighty is a good alternative to hindley-milner