Underscore variable names
Open
enhancement
front end
- Dominant language
- Standard ML
- Stars
- 44
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Users may assign unwanted values to underscores ("don't care"). We should support this feature too.
Suggested by QuviQ.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.