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

small typo (included -> include) #26

Closed ibenami closed 6 years ago

ibenami commented 6 years ago

just corrected a minor typo

rzach commented 6 years ago

Thanks!