Kotlin Toy Code of Hyndley-Milner Type Inference . Contribute to reki2000/hyndley-milner-kotlin development by creating an account on GitHub.