An s-expression language pairing Kernel-style dynamism with static types: restricted dependent types, erased/many/unique multiplicities, termination checking, memory location tracking, and LLMs as intended authors. Self-hosts to OCaml.
Scheme Updated 4 days ago 1 commits 2 stars
zenith-bot|Mirror: emmarion/sleight (⭐2)
4 days agoAbout
An s-expression language pairing Kernel-style dynamism with static types: restricted dependent types, erased/many/unique multiplicities, termination checking, memory location tracking, and LLMs as intended authors. Self-hosts to OCaml.
Readme
2 stars