From d129d93ddebe0a66c96bf5591a706466da64d8fa Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 26 Aug 2020 09:37:50 -0700 Subject: [PATCH] chore: add `letrec` to the list of keywords --- lean4-mode/lean4-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean4-mode/lean4-syntax.el b/lean4-mode/lean4-syntax.el index 8ee742032c..1abbdddfaf 100644 --- a/lean4-mode/lean4-syntax.el +++ b/lean4-mode/lean4-syntax.el @@ -18,7 +18,7 @@ "end" "this" "using" "using_well_founded" "namespace" "section" "attribute" "local" "set_option" "extends" "include" "omit" "classes" "class" "attributes" "raw" "replacing" "generalizing" - "calc" "have" "show" "suffices" "by" "in" "at" "do" "let" "forall" "Pi" "fun" + "calc" "have" "show" "suffices" "by" "in" "at" "do" "let" "letrec" "forall" "Pi" "fun" "exists" "if" "then" "else" "assume" "from" "init_quot" "mutual" "def" "run_cmd") "lean keywords ending with 'word' (not symbol)")