Polish API #113
make-github-pseudonymous-again
started this conversation in
Ideas
Polish API
#113
Replies: 1 comment
-
|
I renamed |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
@xinxinw1 Since you are using this library I would welcome other suggestions you could have about the API. For instance, I was considering renaming the method
tree.empty()totree.isEmpty()to avoid confusion. What do you think? Do you have other suggestions?Beta Was this translation helpful? Give feedback.
All reactions