Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@ag91
Copy link
Contributor

@ag91 ag91 commented Oct 4, 2023

A minor typo that I saw in the docs, I thought it would be helpful to open a PR for it.

@jatcwang
Copy link
Collaborator

jatcwang commented Oct 4, 2023

Thank you :))

@jatcwang jatcwang merged commit 9ee376a into typelevel:main Oct 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants