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

Traversals, clean up #52

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

Traversals, clean up #52

wants to merge 5 commits into from

Conversation

strake
Copy link

@strake strake commented Dec 23, 2019

No description provided.

@strake strake changed the title RClean up Traversals, clean up Dec 23, 2019
@strake
Copy link
Author

strake commented Dec 23, 2019

I wanted to build hoopl with base-4.13 and found myself also cleaning it up. If you dislike parts of the PR and/or want me to break it up please let me know.

@flip111
Copy link

flip111 commented Feb 23, 2024

@strake Do you remember why you removed CheckpointMonad and 4 modules?

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