aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus/folds.scm
Commit message (Expand)AuthorAgeFilesLines
* Added TLA+ grammar & queriesAndrew Helwer2021-08-201-0/+5
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-01-04 20:07:34 +0000