From f5c4671bfbad96bf346bd7e9a21fc4317b4959df Mon Sep 17 00:00:00 2001
From: Indrajith K L
Date: Sat, 3 Dec 2022 17:00:20 +0530
Subject: Adds most of the tools

---
 helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm

(limited to 'helix-22.03-x86_64-windows/runtime/queries/lean/folds.scm')

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
-- 
cgit v1.2.3