Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/lean/folds.scm')
| -rw-r--r-- | runtime/queries/lean/folds.scm | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/runtime/queries/lean/folds.scm b/runtime/queries/lean/folds.scm deleted file mode 100644 index 2c2bbb33..00000000 --- a/runtime/queries/lean/folds.scm +++ /dev/null @@ -1,15 +0,0 @@ -[ - (namespace) - (section) - - (instance) - (def) - (theorem) - (example) - - (product) - (array) - (list) - - (string) -] @fold |