solomon-b / HowardLang

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

Related projects

Alternatives and complementary repositories for HowardLang