feat(ft): add lean support (#353)

Doc: https://leanprover.github.io/lean4/doc/whatIsLean.html
numToStr · Jun 1, 2023 · 444e58e · 444e58e
1 parent 186aaef
commit 444e58e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lua/Comment/ft.lua b/lua/Comment/ft.lua
@@ -89,6 +89,7 @@ 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-/' },
     lidris = { M.dash, M.haskell_b },
     lilypond = { M.latex, '%{%s%}' },
     lisp = { M.lisp_l, M.lisp_b },