qexat / lexieLinks

a ML-style programming language based on the calculus of constructions type theory
19Updated this week

Alternatives and similar repositories for lexie

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

Sorting: