22.6. Beta-Reduction¶
22.6.1. Section Text¶
Section text is forthcoming.
22.6.2. RP 16 Part 1¶
This randomized problem will help you identify β-redexes. To earn credit for it, you will have to solve it correctly three times in a row.
22.6.3. RP 16 Part 2¶
This randomized problem will help you identify β-redexes and prepare to reduce them by determining whether an α-conversion is needed. To earn credit for it, you will have to solve it correctly three times in a row.
22.6.4. RP 16 Part 3¶
This randomized problem will make you practice performing β-reductions. To earn credit for it, you will have to solve it correctly three times in a row.