argumentcomputer / argumentcomputer/Megaparsec.lean
Bump Straume version
Open
- Dominant language
- Lean
- Stars
- 37
- Forks
- 8
- PR merge metrics
- No merged PRs in 30d
Description
Could you bump the Straume dependency so that this compiles with the newest Lean version?
Contributor guide
No contributing guide indexed for this repository
Research direction
Locate the dependency declaration for Straume and check how the repository specifies its Lean version. Update the dependency as needed, then verify that the project compiles with the newest Lean version.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100