Mistakes:
- p.165 Figure 14.6 should be:
(10-) (aor+ [(first) [[(tuple) a] b]])
a
(11-) (aor+ [(first) [[(tuple) a] b]])
b
- p.166 Figure 14.7 should be:
(9-) (define succ -> [lambda x [[(tuple) (f)] x]])
succ
(11-) (define pred -> [lambda x [[[(if') [(zero?) x]] error!] [(second) x]]])
pred