An implementation of the Hindley-Milner type inference algorithm in Kotlin
Primary LanguageKotlin
An implementation of the HM type inference algorithm in Kotlin