argumentcomputer / argumentcomputer/Wasm.lean
Bug: We use `sorry` instead of `sepEndBy`, we need to implement it in `zepto` branch
Open
- Dominant language
- Lean
- Stars
- 48
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
# Why?
The code doesn't work otherwise.
# How?
- [ ] Just port `sepEndBy` from Megaparsec.
Contributor guide
No contributing guide indexed for this repository
Research direction
In the zepto branch, find the `sorry` placeholder for `sepEndBy` and compare it with the corresponding implementation in Megaparsec. Port that functionality so the placeholder is removed and the code works as intended.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100