New top story on Hacker News: Writing a TLA⁺ tree-sitter grammar: my foray into free software

Writing a TLA⁺ tree-sitter grammar: my foray into free software
9 by ahelwer