qexat / lexieLinks

a ML-style programming language based on the calculus of constructions type theory
24Updated 3 months ago

Alternatives and similar repositories for lexie

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

Sorting: