qexat / lexieLinks

a ML-style programming language based on the calculus of constructions type theory
16Updated last month

Alternatives and similar repositories for lexie

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

Sorting: