Most of this is pretty superficial stuff, like additional consistency with ending sentences with periods. So I hope it's not time-wasting or an annoyance! But it fixes one minor error I introduced in the last pull request where I removed a necessary period. And it has a few more meaningful—if still syntactic!—fixes like:
"and also two CQ rule which allow" > "and also two CQ rules which allow"
"For sentence letters, the interpretation specifies if it is true or false." > "For sentence letters, the interpretation specifies if they are true or false."
"order of your quantifiers!." > "order of your quantifiers!"
rzach
commented
2 years ago
Most of this is pretty superficial stuff, like additional consistency with ending sentences with periods. So I hope it's not time-wasting or an annoyance! But it fixes one minor error I introduced in the last pull request where I removed a necessary period. And it has a few more meaningful—if still syntactic!—fixes like: