anton-k / hindley-milner-type-check

Haskell library for type-inference with Hindley-Milner type-system.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

anton-k/hindley-milner-type-check Stargazers