feat(ft): add lean3 support (#375)

numToStr · Aug 7, 2023 · e906b18 · e906b18
1 parent d0cbbfb
commit e906b18
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lua/Comment/ft.lua b/lua/Comment/ft.lua
@@ -31,6 +31,7 @@ local M = {
     lisp_b = '#|%s|#',
     twig = '{#%s#}',
     vim = '"%s',
+    lean_b = '/-%s-/',
 }
 
 ---Lang table that contains commentstring (linewise/blockwise) for multiple filetypes
@@ -94,7 +95,8 @@ local L = setmetatable({
     jsonnet = { M.cxx_l, M.cxx_b },
     julia = { M.hash, '#=%s=#' },
     kotlin = { M.cxx_l, M.cxx_b },
-    lean = { M.dash, '/-%s-/' },
+    lean = { M.dash, M.lean_b },
+    lean3 = { M.dash, M.lean_b },
     lidris = { M.dash, M.haskell_b },
     lilypond = { M.latex, '%{%s%}' },
     lisp = { M.lisp_l, M.lisp_b },