{"domain":"veralang.dev","status":"valid","tier":"listed","authority":45,"verified":false,"title":"Vera","summary":"Vera is a statically typed, purely functional programming language designed for large language models to write. It uses typed slot references (`@T.n`) instead of variable names, requires contracts (preconditions, postconditions, effect declarations) on every function, and compiles to WebAssembly. Programs run at the command line via wasmtime or in the browser.","country":"US","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"US","llms_txt":"https://veralang.dev/llms.txt","llms_full_txt":"https://veralang.dev/llms-full.txt","last_checked":"2026-10-27T10:04:56.201Z","agent_terms":null,"categories":["ai-ml","developer-tools"],"capabilities":[],"inferred_tags":["programming language","webassembly","llm code generation","typed contracts","functional programming"],"audience":"developers","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Vera: statically typed, purely functional language designed for LLMs to write, with slot references and contracts, compiling to WebAssembly. Includes language r","llms_txt_cached":"https://agentwebmap.com/v1/domain/veralang.dev/llms.txt","agentic":"documentation","section_keys":["compiler-and-tooling","examples","homepage","language-reference","optional","quick-start","specification"],"section_partial":false,"section_indexed_at":"2026-10-27T10:05:06.172Z"}