[m-users.] (P ; not P)

Zoltan Somogyi zoltan.somogyi at runbox.com
Tue Sep 10 16:28:37 AEST 2019

On Tue, 10 Sep 2019 01:26:15 -0500, Julian Fondren <jfondren at minimaltype.com> wrote:
> Is there a right way to do a disjunction over semidet predicates like
> this, or is turning them into the bools the best you can do if you
> want a disjunction over all the cases?

The latter: turning them into bools is the best you can do.


More information about the users mailing list