Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation. - View it on GitHub