achlipala/frap

Typo still exist in Chapter 2's code

Closed this issue · 1 comments

LukeXuan commented

Hi, you just fixed typos 1 day ago. However several lines under your fix another similar typo(Line 171) still exists. I guess you did copy-paste job when writing them. :)

achlipala commented

Thanks. Fixed by last commit.