binding arrows in scribble interactions???

racket / scribble

Other

197 stars 91 forks source link

binding arrows in scribble interactions??? #239

Open joskoot opened 4 years ago

joskoot commented 4 years ago

With background expansion enabled, DrRacket nicely shows arrows between a binding occurrence of a variable and the bound occurrences in the definitions window. It would be very nice if a scribble interaction could this do too. May be complicated though. Just a thought. Best wishes, Jos

AlexKnauth commented 4 years ago

Would the racket/scribble repository be the right place to put this feature request?

jackfirth commented 4 years ago

This is a brilliant idea.

joskoot commented 4 years ago

To AlexKnauth: Do you want me to copy paste it there?