Possible typo in the Hoare logic chapter
Closed this issue · 1 comments
co-dan commented
I am talking about the statement of Lemma 10.1 on page 65: https://github.com/achlipala/frap/blob/master/frap_book.tex#L2782
Should it be $\denote{b}(h, v)$
instead of $\denote{b}(h, s)$
?
Best regards,
-Dan
achlipala commented
Yeah, that was indeed a typo. I've fixed it now. Thanks for the report!