hindley-milner-type-inferencer

Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation. (by webyrd)

Hindley-milner-type-inferencer Alternatives

Similar projects and alternatives to hindley-milner-type-inferencer

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hindley-milner-type-inferencer alternative or higher similarity.

hindley-milner-type-inferencer reviews and mentions

Posts with mentions or reviews of hindley-milner-type-inferencer. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-03-15.

Stats

Basic hindley-milner-type-inferencer repo stats
1
19
10.0
about 9 years ago

webyrd/hindley-milner-type-inferencer is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of hindley-milner-type-inferencer is Scheme.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com