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

Dev handling state refactor #61

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

Dev handling state refactor #61

wants to merge 11 commits into from

Conversation

turion
Copy link
Owner

@turion turion commented May 24, 2021 •
edited
Loading

@turion
Copy link
Owner Author

turion commented Jun 7, 2021

operational should not be needed. Instead, HandlingStateT can be more efficiently encoded as AccumT and WriterT.

@turion
Copy link
Owner Author

turion commented Jun 7, 2021

It turns out this is not needed for #54.

@turion turion force-pushed the dev_handling_state_refactor branch from d8a6958 to ff64604 Compare June 15, 2021 10:28
@turion turion force-pushed the dev_handling_state_refactor branch from 2ef0fc9 to 3ab7a76 Compare December 30, 2021 20:25
@turion turion force-pushed the dev_handling_state_refactor branch from 3ab7a76 to 3507f51 Compare January 7, 2022 11:36
@turion turion force-pushed the dev_handling_state_refactor branch from 3507f51 to 957bfe7 Compare July 11, 2023 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@turion