/queries/idris/

• ../
• folds.scm
• highlights.scm
• injections.scm
• locals.scm