/hindley-milner-type-inferencer

Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.

Primary LanguageSchemeMIT LicenseMIT

Stargazers

No one’s star this repository yet.