Michael Davis a3b64b6da2 queries: Rewrite all locals		2025-05-13 19:01:10 -04:00
..
highlights.scm	feat(tlaplus) : added tlaplus config + grammar (#13081)	2025-03-13 08:59:17 -05:00
locals.scm	queries: Rewrite all locals	2025-05-13 19:01:10 -04:00