lexie

a ML-style programming language based on the calculus of constructions type theory

still very early in its development so don't expect much

for now there is no parser whatsoever so the sample program is hardcoded in CLI

run

dune exec lexie

---

Lexie's development does not involve any large language model.