Doc prose for bind pattern in reduction relations
Open
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 112
- Forks
- 42
- PR merge metrics
- No merged PRs in 30d
Description
In https://docs.racket-lang.org/redex/The_Redex_Reference.html?q=define-language#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._reduction-relation%29%29 the (bind pattern term) form and its effect doesn't seem to be explained in the prose.
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
Start at the reduction-relation section of The Redex Reference linked in the issue, locating the (bind pattern term) form. Read the surrounding prose and explain what the form does and how it affects reduction relations. Done means the form and its effect are clearly documented in that section.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100