Skip to content
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

Add a law relating backtrack and orElse #40

Merged
merged 1 commit into from
Nov 5, 2020

Conversation

johnynek
Copy link
Collaborator

@johnynek johnynek commented Nov 5, 2020

this is a law that @non suggested.

@johnynek johnynek merged commit 379868d into main Nov 5, 2020
@johnynek johnynek deleted the oscar/add_backtrack_orelse_law branch November 5, 2020 00:37
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.

None yet

2 participants