Skip to content
This repository has been archived by the owner on Oct 23, 2024. It is now read-only.

Remove @@uncurried #9

Merged
merged 1 commit into from
Aug 11, 2024
Merged

Remove @@uncurried #9

merged 1 commit into from
Aug 11, 2024

Conversation

cknitt
Copy link
Member

@cknitt cknitt commented Aug 11, 2024

No description provided.

@cknitt cknitt merged commit 6d8a3b2 into main Aug 11, 2024
1 check passed
@cknitt cknitt deleted the remove-uncurried branch August 11, 2024 15:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant