search

tlaplus-community / tree-sitter-tlaplus

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

Invalidate USE ONLY #80

Closed ahelwer closed 1 year ago

ahelwer commented 1 year ago

See https://github.com/tlaplus-community/tlaplus-standard/issues/3

This should not be considered valid TLA+.