Fixing them typos, including one spotted by Larissa - Githubissues

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

Fixing them typos, including one spotted by Larissa #283

Closed Pi-Cla closed 2 years ago

rzach commented 2 years ago

Thanks!