diff --git a/queries/perga/folds.scm b/queries/perga/folds.scm
index bc0b758..dfa6415 100644
--- a/queries/perga/folds.scm
+++ b/queries/perga/folds.scm
@@ -3,4 +3,5 @@
     (block_comment)
     (labs)
     (pabs)
+    (binding)
 ] @fold
diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index 2265bf4..128c400 100644
--- a/queries/perga/highlights.scm
+++ b/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)
 
diff --git a/queries/perga/locals.scm b/queries/perga/locals.scm
deleted file mode 100644
index fecdc57..0000000
--- a/queries/perga/locals.scm
+++ /dev/null
@@ -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)
diff --git a/queries/perga/rainbow-delimiters.scm b/queries/perga/rainbow-delimiters.scm
index ae04a55..62e391f 100644
--- a/queries/perga/rainbow-delimiters.scm
+++ b/queries/perga/rainbow-delimiters.scm
@@ -5,3 +5,7 @@
 (term
   "(" @delimiter
   ")" @delimiter @sentinel) @container
+
+(binding
+  "(" @delimiter
+  ")" @delimiter @sentinel) @container