Skip to content

Zippers struct#241

Open
kavigupta wants to merge 6 commits intoextract-zipper-adtfrom
zippers-struct
Open

Zippers struct#241
kavigupta wants to merge 6 commits intoextract-zipper-adtfrom
zippers-struct

Conversation

@kavigupta
Copy link
Collaborator

@kavigupta kavigupta commented Jul 29, 2025

Before (zipper ADT): Summary (95% CI, arithmetic mean): 1136.99 [1135.51, 1138.74]
After: Summary (95% CI, arithmetic mean): 1122.28 [1119.64, 1125.04]

no idea how this could've improved performance but it seems to have

@kavigupta kavigupta changed the base branch from main to extract-zipper-adt July 29, 2025 23:14
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