Skip to content

Alias dig to search.#40

Merged
jho406 merged 1 commit intomainfrom
alias-search-to-dig
Dec 31, 2024
Merged

Alias dig to search.#40
jho406 merged 1 commit intomainfrom
alias-search-to-dig

Conversation

@jho406
Copy link
Contributor

@jho406 jho406 commented Dec 31, 2024

Search is a bit of a confusing way to describe what traversing is. Dig seems more appropriate and is consistent with how superglue describes it.

Search is a bit of a confusing way to describe what traversing is. Dig
seems more appropriate and is consistent with how superglue describes it.
@jho406 jho406 force-pushed the alias-search-to-dig branch from 964b8d4 to c0cf4ca Compare December 31, 2024 16:37
@jho406
Copy link
Contributor Author

jho406 commented Dec 31, 2024

Resolves #18

@jho406 jho406 merged commit 92de606 into main Dec 31, 2024
26 checks passed
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