Syntax: change rewrite arrow to `<-`
Open
enhancement
good first issue
- Dominant language
- Haskell
- Stars
- 279
- Forks
- 51
- Avg merge
- 17h 42m
- Merged PRs (30d)
- 1
Description
Currently rewrites and implication use the same syntax, which is a little confusing. It would be nice to change the rewrite arrow to `<-`, hopefully making the specs easier to write.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue identifies the rewrite and implication syntax but names no files, tests, or entry points. Start by locating the parser and specifications that handle rewrite arrows, then trace related parsing and rendering tests; done means rewrites accept `<-` without ambiguity and implication syntax remains compatible.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 30/100