argumentcomputer / argumentcomputer/Lurk.lean
Problem: replace `evalCounts` with the actual `lurkrs` `iterations`
Open
- Dominant language
- Lean
- Stars
- 9
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
`evalCounts` is currently just an approximation of how long it takes to evaluate a thing, but it should be replaced with the semantic equivalent of `iterations` in `lurkrs`
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating `evalCounts` and the evaluator code, then compare its behavior with the `iterations` semantics in `lurkrs`. Determine the intended equivalence and verify that evaluation behavior and related tests remain correct after the replacement.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100