Infix-Notation for BoolAST #2
Description
Is there some way to write &&& and ||| in infix? Our current approaches lead to problems with type inference.
{{ message }}
Is there some way to write &&& and ||| in infix? Our current approaches lead to problems with type inference.