∈ is stupid and needs to be fixed when using a subscript
kckennylau opened this issue · 1 comments
JCumin commented
@kckennylau It's actually not completely stupid. Your program works if you write it like this:
∈₎[[2,3,3,1],.]t
That is, with the subscript in the right argument.
The question now is whether or not this behavior is more desirable than having it work for ;.∈₎[2,3,3,1]∧.
My guess is no: this behavior is not in line with any other predicates, and it should always be shorter than the current behavior because the current one requires extra brackets.