Julian / Julian/tree-sitter-lean
Function application should take precedence over continuing an `open`
Open
- Dominant language
- JavaScript
- Stars
- 58
- Forks
- 25
- Avg merge
- 48m
- Merged PRs (30d)
- 1
Description
```lean
import Something
open Something
something " 123 " -- 123 is colored as a number, but should be a string
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.