unknownzerx/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
SchemeMIT
Stargazers
No one’s star this repository yet.
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
SchemeMIT
No one’s star this repository yet.