Skip to content
Corvid Docs

The Corvid Book

Sequential learning material. Read top to bottom on your first pass; come back to specific chapters as reference later.

Table of contents

  1. Why Corvid — the moat in three minutes.
  2. Install — get Corvid on your machine.
  3. Quickstart — first program in five minutes.
  4. Tutorial: build a refund agent — end-to-end walkthrough exercising every shipped invention.
  5. Syntax basics — narrative intro to the language shape.
  6. Types — primitives, generics, structs, sum types.
  7. Modules and imports — multi-file projects, visibility.
  8. Effects — the load-bearing primitive.
  9. Approve — compile-time approval tokens.
  10. Grounded — provenance-carrying types.
  11. Agents — composable program entry points.
  12. Prompts — LLM-backed functions.
  13. Errors and Result — recoverable vs unrecoverable failures.
  14. Pattern matching — exhaustive match, destructuring.
  15. Project layout — corvid.toml and conventions.
  16. Testing — test, eval, fixture, mock.
  17. Building and targets — native, wasm, server, cdylib.
  18. Replay — deterministic re-execution.

After the book

When you finish the book, the next stop depends on what you’re building: