Can now parse Bakery.tla - Githubissues

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Can now parse Bakery.tla #21

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Bump lexing priority of proof step tokens
Reduce verbosity of parse tree (remove number types)
Jlists now ignore comments