exaexa / minihmLinks

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

Alternatives and similar repositories for minihm

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

Sorting: