summaryrefslogtreecommitdiff
path: root/queries/agda/folds.scm
blob: e3258efb9339440d55dac421e8dd88cf1e3b1cce (plain)
1
2
3
4
[
 (record)
 (module)
] @fold