aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/queries/agda/folds.scm
blob: 5e1051f8f7c98a01828a37d132309b3b39b06ae9 (plain) (blame)
1
2
3
4
[
  (record)
  (module)
] @fold