Amaan Qureshi 8944dc64ef fix(tlaplus): remove unused rules		2024-10-16 08:35:54 +02:00
..
folds.scm	Added TLA+ grammar & queries	2021-08-20 18:56:14 +02:00
highlights.scm	fix(tlaplus): remove unused rules	2024-10-16 08:35:54 +02:00
injections.scm	chore: query formatting	2024-01-19 16:58:37 +01:00
locals.scm	refactor(queries): Remove quotes from properties in set! directive	2024-07-28 11:43:41 +02:00