style: label styling changes#1144

Open

dhess wants to merge 3 commits into

mainfrom

dhess/more-styling-changes

Commits on Apr 9, 2024

fix: Draw variable binding nodes closer to their parents

georgefst
authored and
dhess
committed
make labels more explicit, and label styles per-node

georgefst
authored and
dhess
committed
#

georgefst
authored and
dhess
committed