tlaplus-community/tree-sitter-tlaplus
View on GitHub ↗ ★ 80 C
A tree-sitter grammar for TLA⁺ and PlusCal
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2022-02-18 · latest 2026-05-14
20082026
-
…I suspect it will be easy to have tons of custom apps for everything. It's a brave new world. [1] https://github.com/tlaplus-community/tree-sitter-tlaplus
comment by tombert · 2026-05-14 · in The Emacsification of Software -
…it out myself. Happy to take any PRs if emacs needs its own set of query files; they would live in https://github.com/tlaplus-community/tree-sitter-tlaplus/tre... and they can be added to CI runs to ensure they stay in sync with changes to…
comment by ahelwer · 2023-01-12 · in Writing a TLA⁺ tree-sitter grammar: my foray into free software -
https://github.com/tlaplus-community/tree-sitter-tlaplus
comment by ahelwer · 2022-02-18 · in Happy 15th birthday Hacker News