search

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Implemented external scanner for parsing conjunction & disjunction lists #2

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

External scanner emits INDENT, NEWLINE, and DEDENT tokens to mark beginning, separation, and end of junctlists.