Skip to content

Conversation

@RunDevelopment
Copy link
Collaborator

This PR changes prefer-quantifier so its functionality no longer overlaps with optimal-quantifier-concatenation.

This is the PR I promised in #207.

@RunDevelopment RunDevelopment requested a review from ota-meshi May 13, 2021 10:17
Copy link
Owner

@ota-meshi ota-meshi left a comment

Choose a reason for hiding this comment

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

LGTM!

@ota-meshi ota-meshi merged commit ba253f8 into master May 17, 2021
@ota-meshi ota-meshi deleted the prefer-quantifier-simplification branch May 17, 2021 23:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants