Skip to content

docs(newtypes): add a pointer to the algorithm API functions#253

Merged
thomwiggers merged 1 commit intomainfrom
improve-newtype-docs
Oct 23, 2023
Merged

docs(newtypes): add a pointer to the algorithm API functions#253
thomwiggers merged 1 commit intomainfrom
improve-newtype-docs

Conversation

@thomwiggers
Copy link
Copy Markdown
Contributor

See the discussion in #250.

@thomwiggers thomwiggers enabled auto-merge October 23, 2023 13:59
@thomwiggers thomwiggers added this pull request to the merge queue Oct 23, 2023
Merged via the queue into main with commit c86b211 Oct 23, 2023
@thomwiggers thomwiggers deleted the improve-newtype-docs branch October 23, 2023 14: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.

1 participant