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