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

Typo fixes #280

Closed Pi-Cla closed 2 years ago

Pi-Cla commented 2 years ago

The reason why I added the phrase "plus one" to the end of those two sentences is that the sum of brackets in [ s_1 o s_2 ] should include the outer most brackets as well as the brackets in s_1 and s_2.

rzach commented 2 years ago

Thanks!