qlonik / hindley-milner-type-inferencer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from webyrd/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
License: MIT License