You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Newly created nodes are always labeled identical to their right-most child at the moment.
It would be great if the user could pick from a set of functions to combine labels into their parent's label.
The simplest such choice would to allow for both left- and right-headedness.
The text was updated successfully, but these errors were encountered:
Newly created nodes are always labeled identical to their right-most child at the moment.
It would be great if the user could pick from a set of functions to combine labels into their parent's label.
The simplest such choice would to allow for both left- and right-headedness.
The text was updated successfully, but these errors were encountered: