Reference

Lookup material. Skim a page when you need a specific name, rule, shape, or invariant. Read top-to-bottom rarely.

Language

• Grammar — formal EBNF derived from crates/corvid-syntax/src/parser/.
• Lexer rules — line continuation, brackets, triple-quoted strings.
• Core semantics — registry-derived spec.

CLI

• CLI reference — every corvid command, with examples.

Compile-time guarantees

• Compile-time guarantees — the registry of properties the compiler enforces.
• Inventions — full proof matrix per invention (shipped status, runnable command, test refs, spec links).
• Inventions tour — short index with corvid tour --topic <name> pointers.

Standard library

• Standard library — the std/* modules.
• Stdlib connectors — per-connector reference (Gmail, MS365, Slack, Calendar, Tasks, Files).

Examples

• Reference apps — canonical example programs.

Packaging

• Package imports — package manager flow.