Julian / Julian/tree-sitter-lean
Support string gaps, raw strings, etc.
Open
- Dominant language
- JavaScript
- Stars
- 58
- Forks
- 25
- Avg merge
- 48m
- Merged PRs (30d)
- 1
Description
It looks like these aren't currently implemented?
See https://web.archive.org/web/20250619083120/https://lean-lang.org/blog/2024-2-4-lean-450/
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.