You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
helix/runtime/queries/lean/folds.scm

16 lines
126 B
Scheme

[
(namespace)
(section)
(instance)
(def)
(theorem)
(example)
(product)
(array)
(list)
(string)
] @fold