search

winitzki / sofp

A free book: "The Science of Functional Programming"
GNU General Public License v2.0
1.41k stars 97 forks source link

Small variable name error in Exercise 1.6.1.4 #74

Closed darrylkid closed 10 months ago

darrylkid commented 11 months ago

image

The bound variable in the product reduction is in terms of $k$ but the term $\frac{1}{1 - \frac{1}{p^4}}$ is in terms of $p$. The bound variables should match each other here, not be different.

This comes from the latest Nov 23, 2023 draft.

winitzki commented 11 months ago

Thank you, I will fix this in the next version!