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

dune exec lexie

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