summaryrefslogtreecommitdiff
path: root/queries/tlaplus/folds.scm
AgeCommit message (Expand)Author
2021-08-20Added TLA+ grammar & queriesAndrew Helwer