Skip to content

Polish#2

Merged
ghostdogpr merged 1 commit intoghostdogpr:masterfrom
marcinzh:turbolift-polish
Mar 16, 2026
Merged

Polish#2
ghostdogpr merged 1 commit intoghostdogpr:masterfrom
marcinzh:turbolift-polish

Conversation

@marcinzh
Copy link
Contributor

Minor edits of Turbolift's benchmark to make it use more built in stuff (e.g. the typeclass instances are already provided as canonical).

Copy link
Owner

@ghostdogpr ghostdogpr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I had a benchmark based on an old version (or maybe it was already there and I didn't notice!)

@ghostdogpr ghostdogpr merged commit 4028ea4 into ghostdogpr:master Mar 16, 2026
3 checks passed
@marcinzh marcinzh deleted the turbolift-polish branch March 16, 2026 21:44
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.

2 participants