argumentcomputer / argumentcomputer/Megaparsec.lean
Documentation: Update README to match the current implementation
Open
- Dominant language
- Lean
- Stars
- 37
- Forks
- 8
- PR merge metrics
- No merged PRs in 30d
Description
# Why?
Currently it refers to char_simple and string_simple in many places, but they were deprecated.
# What?
- [ ] Rewrite the code from README and make sure that it works with the latest `main`.
- [ ] Change the excercise for the reader section.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading the README and comparing its char_simple and string_simple examples with the current main implementation. Update the README code so it works with the latest main, then revise the exercise for the reader section; done means the examples are current and usable.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100