5.4 Programs
5.4.1 Validity
5.4.2 Modules
5.4.3 Steps
5.4.4 Local Steps
5.4.5 Consensus Steps
5.4.6 Computations

5.4 Programs

This document describes the structure and content of Reach programs, including their syntactic forms, the standard library, and the standards of valid programs.

The rest of this section is structured according to the contexts of the different parts of a Reach program, as follows: