In some IDP-designs, a XOR operator would improve readability and usability. In a first step, "A XOR B" could be implemented as syntactic sugar for "A <=> ~B".
A more general solution would be possible when #292 would be resolved.
Comments (1)
Broes De Cat
Prove whether we can consistently do this rewriting, for example also in
phi XOR phi2 XOR phi3 ...
Prove whether we can consistently do this rewriting, for example also in phi XOR phi2 XOR phi3 ...