rozlynd
Results
1
issues of
rozlynd
In "\A x \in S : e", primed variables in S are ignored when the level of the expression is computed. If e is constant then the whole expression is...
bug
semantic checker