TOC

• 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