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