Unexpected "in"

Issue #582 resolved
Broes De Cat created an issue

{ ! I T : intersect(T) <- conflict(I) & in(I,T). }

met in een gedeclareerd binair predicaat wordt niet meer juist geparst. (ik vermoed na integratie met binaire quantoren)

Comments (2)

  1. Log in to comment