Reference map
Use the guides for examples and execution constraints. The language specifications define the complete rules for each construct.
| Subject | Guide | Specification |
|---|---|---|
| Surf syntax and Deep representation | Surf Syntax Reference | Surf, Deep |
| Types, shapes, precision, effects, and ownership | Type System Reference | Type System |
| Built-in operations and the standard library | Runtime and Standard Library | RISC Primitives |
| Differentiation and vectorization | Transforms | Transformations |
| Generated code and targets | Backends | Backends |
| Source naming and packages | Reef and Packages | Nomenclature |
The Examples chapter points to complete programs in the source repository. The CLI Workflow, Testing, and Checking Properties chapters explain how to run and check them.