exaexa / minihmLinks

toy implementation of Hindley-Milner type system that prints out inference steps
11Updated 2 months ago

Alternatives and similar repositories for minihm

Users that are interested in minihm are comparing it to the libraries listed below

Sorting: