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

Lazy boolean operators #1743

Merged
merged 4 commits into from
Jan 25, 2023
Merged

Lazy boolean operators #1743

merged 4 commits into from
Jan 25, 2023

Conversation

lukaszcz
Copy link
Collaborator

Closes #1701

@lukaszcz lukaszcz added this to the 0.3 milestone Jan 19, 2023
@lukaszcz lukaszcz self-assigned this Jan 19, 2023
@lukaszcz lukaszcz force-pushed the lazy-boolean-operators branch from b89608a to 78e19a9 Compare January 19, 2023 11:28
@lukaszcz lukaszcz marked this pull request as draft January 19, 2023 11:56
@lukaszcz lukaszcz force-pushed the lazy-boolean-operators branch from 27144f1 to f3f72b4 Compare January 19, 2023 12:00
@lukaszcz lukaszcz marked this pull request as ready for review January 19, 2023 12:01
@jonaprieto jonaprieto force-pushed the lazy-boolean-operators branch from f3f72b4 to 1d44aa0 Compare January 19, 2023 12:28
@jonaprieto jonaprieto added the enhancement New feature or request label Jan 19, 2023
@lukaszcz lukaszcz force-pushed the lazy-boolean-operators branch from 1d44aa0 to 799d218 Compare January 19, 2023 16:11
@lukaszcz lukaszcz force-pushed the lazy-boolean-operators branch from 799d218 to 70dd392 Compare January 25, 2023 15:36
@lukaszcz lukaszcz requested a review from janmasrovira January 25, 2023 15:37
@lukaszcz lukaszcz merged commit acea661 into main Jan 25, 2023
@lukaszcz lukaszcz deleted the lazy-boolean-operators branch January 25, 2023 17:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make || and && lazy
3 participants