We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Along with the existential quantifier, the RiDDLe language could introduce a universal quantifier.
The syntax could be
for (Class id) { }
effectively looping through all instances of the Class class.
Class
The text was updated successfully, but these errors were encountered:
added universal quantifier, addressing issue #1..
45488d1
riccardodebenedictis
No branches or pull requests
Along with the existential quantifier, the RiDDLe language could introduce a universal quantifier.
The syntax could be
effectively looping through all instances of the
Class
class.The text was updated successfully, but these errors were encountered: