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.

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

planar direction sum type #1358

Merged
merged 3 commits into from
Jul 10, 2023
Merged

planar direction sum type #1358

merged 3 commits into from
Jul 10, 2023

Conversation

kostmo
Copy link
Member

@kostmo kostmo commented Jul 9, 2023 •
edited
Loading

Simplifies some existing and planned code.

@kostmo kostmo added the Z-Refactoring This issue is about restructuring the code without changing the behaviour to improve code quality. label Jul 9, 2023
@kostmo kostmo changed the title Feature/planar direction sum type planar direction sum type Jul 9, 2023
@kostmo kostmo force-pushed the feature/planar-direction-sum-type branch from ca3801a to ccaf6ba Compare July 9, 2023 20:54
@kostmo kostmo marked this pull request as ready for review July 9, 2023 22:37
@kostmo kostmo requested a review from byorgey July 9, 2023 22:37
@kostmo kostmo added the merge me Trigger the merge process of the Pull request. label Jul 10, 2023
@mergify mergify bot merged commit a30b6ed into main Jul 10, 2023
@mergify mergify bot deleted the feature/planar-direction-sum-type branch July 10, 2023 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@byorgey byorgey byorgey approved these changes

Assignees
No one assigned
Labels
merge me Trigger the merge process of the Pull request. Z-Refactoring This issue is about restructuring the code without changing the behaviour to improve code quality.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kostmo @byorgey