Julian / Julian/tree-sitter-lean
`let-bind`s within `let`s are misparsed
Open
- Dominant language
- JavaScript
- Stars
- 58
- Forks
- 25
- Avg merge
- 48m
- Merged PRs (30d)
- 1
Description
```lean
def d : OptionM Nat := do
let a := (← some 1)
let b ← none
let c := (← none) + 2 -- this let is not highlighted, the others well
pure b
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.