22.8.1. Church Numerals¶

Text forthcoming

22.8.2. RP 18 Part 1¶

This problem will help you recognize and use the Church numerals as well as the representation of the corresponding addition and multiplication operators. To get credit for this randomized problem, you must solve it correctly three times in a row.

22.8.3. Church Booleans¶

22.8.4. RP 18 Part 2¶

This problem is about a possible representation for the ternary IF/THEN/ELSE operator.

22.8.5. RP 18 Part 3¶

This problem is about a possible representation for the binary OR operator.