# Edda — for coding agents
Edda is a verified programming language your model was not trained on.
Inventing syntax by analogy to Rust, Swift, or OCaml will not compile.

Set up a project:    read and follow  https://edda-lang.org/get-started/agent.txt
Language reference:  read  https://edda-lang.org/AGENTS.md
Special operations:  read  https://edda-lang.org/guide.md
Authoring skill:     read  https://edda-lang.org/skill.md

The build is the source of truth. Run `edda build` after every change and fix
exactly what it reports. `edda check` is the fast type-only loop.