Support top-level Lean comments
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
*Note: This will be obsoleted if we do https://github.com/google/zerocopy/issues/3218*
We should explicitly parse and allow `--`. We should parse and *reject* `/-`, as we can't reliably parse these.
Contributor guide
Assessment
This issue has not been assessed yet.