diff options
Diffstat (limited to 'helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm')
| -rw-r--r-- | helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm b/helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm new file mode 100644 index 0000000..2c2bbb3 --- /dev/null +++ b/helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm @@ -0,0 +1,15 @@ +[ + (namespace) + (section) + + (instance) + (def) + (theorem) + (example) + + (product) + (array) + (list) + + (string) +] @fold |