OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.08k stars 242 forks source link

A typo in the "method" chapter #336

Closed Heein-Park closed 1 year ago

Heein-Park commented 1 year ago

The most convenient way to report a typo should reference the file and line number where the typo occurs:

Alternatively describe the location of the typo (page #, "after Theorem 5.1", etc., and mention which PDF you are referencing)

Typo location: https://github.com/OpenLogicProject/OpenLogic/blob/5df41c789b7ef9463b7c2061330c3b8cec7355c4/content/methods/proofs/cant-do-it.tex#L27

What is the typo: "Others in the class may also struggle---but the may struggle with different things."

Proposed correction: The word 'the' is mistyped as it may be 'they' corresponding with 'Others' in a preceding clause. "Others in the class may also struggle---but they may struggle with different things."

rzach commented 1 year ago

Was fixed in https://github.com/OpenLogicProject/OpenLogic/commit/6d9901c59529dcc1a18ba2e1bc5e7434e9c997d0 Thanks!