Bring back the blue lambda.

leanprover · Jul 9, 2021 · a91c16d · a91c16d
1 parent 0d4e372
commit a91c16d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/syntaxes/lean.json b/syntaxes/lean.json
@@ -107,6 +107,10 @@
           "match": "\\b(?<!\\.)(calc|have|this|match|do|suffices|show|by|in|at|let|from|obtain|haveI)(?!\\.)\\b",
           "name": "keyword.other.lean"
         },
+        {
+          "match": "\\b(?<!\\.)λ",
+          "name": "keyword.other.lean"
+        },
         {
           "match": "\\b(?<!\\.)(begin|end|using)(?!\\.)\\b",
           "name": "keyword.other.lean"