hylo-lang / hylo-lang/specification
Implicit Parameters are missing from Spec
Open
- Dominant language
- TeX
- Stars
- 23
- Forks
- 8
- PR merge metrics
- No merged PRs in 30d
Description
From https://github.com/hylo-lang/hylo/pull/1220
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reviewing the specification repository and the linked pull request #1220 to understand which implicit parameters are missing from the spec. The work is done when the specification explicitly covers implicit parameters and the relevant examples or definitions are consistent.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- tex
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100