search

OpenLogicProject / OpenLogic

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

Small edits in the "Intro to FOL" chapter #305

Closed furcyd closed 2 years ago

furcyd commented 2 years ago

In the Introduction to First-Order Logic chapter:

  1. I fixed a few typos in several sections,
  2. I implemented some small grammatical improvements (at the word or phrase level) in a couple of places.
rzach commented 2 years ago

I cherry picked the typos, but had to leave out the book commit. I recommend making the book its own git repo or keep it on a branch so that it doesn't "pollute" the master branch. See eg https://github.com/rzach/sets-logic-computation for a book that can be cloned into courses/ and then selects & compiles the source files into a new book.

Thanks for the correction! Please, keep them coming.

furcyd commented 2 years ago

I cherry picked the typos, but had to leave out the book commit. I recommend making the book its own git repo or keep it on a branch so that it doesn't "pollute" the master branch. See eg https://github.com/rzach/sets-logic-computation for a book that can be cloned into courses/ and then selects & compiles the source files into a new book.

Thanks for the correction! Please, keep them coming.

I think I understand what you mean about the book: I will not have mybook/ tracked before I commit next time.