/hindley-milner

A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala

Primary LanguageScala

No issues in this repository yet.