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

Dev handling state refactor #61

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

Conversation

turion
Copy link
Owner

@turion turion commented May 24, 2021

@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 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
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant