Last released Sep 19, 2026
A programming language designed for LLMs — honest by construction: mechanical verification, explicit holes, no silent gaps.