binding arrows in scribble interactions???
Open
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 250
- Forks
- 102
- Avg merge
- 11d 11h
- Merged PRs (30d)
- 1
Description
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
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue names no files, tests, or entry points. Start by locating how Scribble interactions render bindings and compare that with DrRacket's background-expansion arrows; done would mean a Scribble interaction can display arrows between a binding occurrence and its bound occurrences.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100