Last released Jul 24, 2026
Vera: a programming language designed for LLMs, with full contracts, algebraic effects, and typed slot references
Supported by
