Llmll: A goto-fail body, rejected before the edit lands
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
LLMLL is a programming language for AI agents that checks each agent-written function body against its contract before accepting it. A typed hole with a precondition and postcondition is handed to an agent, and the compiler sends the proposed body to an SMT solver, rejecting any body it cannot prove.…