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
0.1.2

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.

Get language support for Reach in your editor by visiting IDE/Text Editor Support.

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

Figure 17 shows the relationship between the modes of a Reach application.

Figure 17: The modes of a Reach application