solomon-b / HowardLangLinks

An interpreted lambda calculus with Algebraic and Recursive Types.
17Updated 3 years ago

Alternatives and similar repositories for HowardLang

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

Sorting: