a few corrections from summer class

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

a few corrections from summer class #14

Closed ettta closed 7 years ago

ettta commented 7 years ago

Hi Richard, thanks for this book! I and my students caught a few mistakes. (I'm somewhat new to github, so forgive if I didn't do everything quite right. One of two of the changes were just from me trying to get the files to compile, so you will probably want to ignore those.)

rzach commented 7 years ago

Thanks! I've added your changes (except the typeface stuff) in commit 3ac2ac792de6fb4441626c5a494adaa7eb702eb6