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