Skip to content

allow quantifiers \forall and \exists in addition to \A and \E #219

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom
Merged
ahelwer merged 1 commit into from
Jun 19, 2025
Merged

allow quantifiers \forall and \exists in addition to \A and \E #219

ahelwer merged 1 commit into from
Jun 19, 2025

Conversation

@damiendoligez
Copy link
Contributor

@damiendoligez damiendoligez commented Jun 19, 2025

fixes #160

ahelwer
ahelwer approved these changes Jun 19, 2025
View reviewed changes
Copy link
Collaborator

@ahelwer ahelwer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome, thank you!

@ahelwer ahelwer merged commit e3d5637 into main Jun 19, 2025
5 checks passed
@ahelwer ahelwer deleted the parse-forall-exists branch June 19, 2025 19:37
@ahelwer ahelwer added the syntax parser Issues relating to TLAPM's syntax parser label Jul 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ahelwer ahelwer ahelwer approved these changes

Assignees

No one assigned

Labels

syntax parser Issues relating to TLAPM's syntax parser

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

TLAPM does not parse quantifiers using \forall or \exists keywords instead of \A or \E

3 participants

@damiendoligez @ahelwer