aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean/locals.scm
diff options
context:
space:
mode:
authorzetashift2024-02-04 01:10:20 +0000
committerGitHub2024-02-04 01:10:20 +0000
commit6e3ed7f0fa91a3adc01f33e182999f606b48ce6a (patch)
treebd6f1304ec82c3fab765cd47af1c669ae6403415 /runtime/queries/lean/locals.scm
parent75d61d8149d1e55d25f0bc34d95f01d6a3f1f526 (diff)
Update Unison tree-sitter grammar for type changes and add indent queries (#9505)
* Update Unison tree-sitter grammar for type changes * Add indent queries for Unison * Improve Unison indent queries
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions