Vera: a programming language designed for machines to write
Summary
Vera is a language designed for large language models to write code, compiling to WebAssembly and runnable in CLI or browser. It enforces explicit contracts, effects, and name-free references to improve verifiability and coherence, with examples and agent-focused docs that illustrate its contract-driven approach.