- I Fixed-Size Data
- 1 Arithmetic
- 1.1 The Arithmetic of Numbers
- 1.2 The Arithmetic of Strings
- 1.3 Mixing It Up
- 1.4 The Arithmetic of Images
- 1.5 The Arithmetic of Booleans
- 1.6 Mixing It Up with Booleans
- 1.7 Predicates: Know Thy Data
- 2 Functions and Programs
- 2.1 Functions
- 2.2 Computing
- 2.3 Composing Functions
- 2.4 Global Constants
- 2.5 Programs