Specification
The full Ultraviolet language specification exists and is more formal than the beginner documentation.
The specification is intended for compiler implementers, language designers, static-analysis engineers, and reviewers who need authoritative detail on syntax, resolution, typing, lowering, runtime behavior, diagnostics, and conformance.
Read the specification
Section titled “Read the specification”Ultraviolet specification on GitHub
How to use it
Section titled “How to use it”Start with the beginner docs when you want a guided overview. Use the specification when you need exact rules, source-form constraints, or compiler behavior.