Allow finite sets to be used as quantifier domains? #330
Labels
C-Moderate Effort
Should take a moderate amount of time to address.
I-Duplicate
S-Nice to have
Minor importance
U-Language Design
Z-Feature Request
If we have e.g.
A : Set(N)
it would be neat to be able to write something likeforall x in A. blah(x)
.The text was updated successfully, but these errors were encountered: