Implement ByteArray.Slice and use it in the lexer and parser
Open
- Dominant language
- Lean
- Stars
- 108
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
Currently, we sometimes extract ByteArray from ByteArray instead of using a Slice data structure.
We should implement this data structure and make sure we don't do any spurious copies in our code.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.