Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
Feat: replace active quantifier #503
Feat: replace active quantifier #503
Changes from all commits
9332450
fa1d935
14709b0
594ae3f
74c2814
af61fab
604aa63
8a7f06e
a02d54b
a60dc4f
f95da2a
9551bc9
090110e
269be5d
0e26fb7
7597797
eba1fa2
b963d21
8d86635
9ab0fac
25426e4
915ef74
7f55486
d229cdc
e3c7fe4
f5fe398
076ba41
a6b57f6
63e45e4
75c975b
dd7601f
830d0cb
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.