search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Typo (missing quotation sign) #38

Closed emilberwald closed 4 years ago

emilberwald commented 4 years ago

A missing qoutation sign at the very end ('B') https://github.com/rzach/forallx-yyc/blob/d5822335642685cb4be39bf7ba1829d1dc70c0a7/forallx-yyc-tfl.tex#L838

I hope you don't mind me reporting these minor typos! I think it is an interesting thing to have a book on github.

rzach commented 4 years ago

Not at all please keep it up!