updated to support let

queries/perga/folds.scm

@@ -3,4 +3,5 @@
     (block_comment)
     (labs)
     (pabs)
+    (binding)
 ] @fold

queries/perga/highlights.scm

@@ -1,4 +1,4 @@
-[ "fun" "λ" "forall" "∏" ] @keyword
+[ "fun" "λ" "forall" "∏" "let" "in" "end" ] @keyword
 (axiom) @keyword
 
 (preprocess
@@ -17,6 +17,9 @@
 (definition
   name: (identifier) @function)
 
+(binding
+  (identifier) @function)
+
 (param_block
   param: (identifier)+ @variable.parameter)
 

queries/perga/locals.scm

@@ -1,11 +0,0 @@
-(definition) @local.scope
-(definition
-  name: (identifier) @local.definition)
-(labs) @local.scope
-(pabs) @local.scope
-
-(param_block
-  param: (identifier)+ @local.definition)
-
-(term
-  (identifier) @local.reference)

queries/perga/rainbow-delimiters.scm

@@ -5,3 +5,7 @@
 (term
   "(" @delimiter
   ")" @delimiter @sentinel) @container
+
+(binding
+  "(" @delimiter
+  ")" @delimiter @sentinel) @container