exaexa / minihmLinks

toy implementation of Hindley-Milner type system that prints out inference steps
β˜†11Updated 3 months ago

Alternatives and similar repositories for minihm

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

Sorting: