compile lenses to a more efficient intermediate representation
Open
- Dominant language
- Idris
- Stars
- 38
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue provides no files, tests, entry points, or completion criteria beyond compiling lenses to a more efficient intermediate representation. Start by locating the lens compiler and its current intermediate representation, then establish how efficiency will be measured. Done requires an agreed target representation and evidence that compilation produces it more efficiently.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers, performance
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 12/100