Skip to content

Conversation

ashawley
Copy link
Contributor

Fixes #772.

@ashawley
Copy link
Contributor Author

@larsrh larsrh merged commit 6da8ad3 into typelevel:main May 14, 2021
@ashawley ashawley deleted the arbitrary-doc branch September 15, 2021 20:53
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.

Revise docs for Arbitrary
2 participants