Readme section needs to be updated to mention the 'every' predicate-quantifier
Opened this issue · 0 comments
hintron commented
The outputs section of the readme does not mention the behavior if the new every predicate qualifier is 'every'.
Opened this issue · 0 comments
The outputs section of the readme does not mention the behavior if the new every predicate qualifier is 'every'.