feat(ft): add idris2 support (#343)

Idris 2 uses its own ft for some reason (probably due to it being very non-backwards compatible since it uses QTT and an entirely different compiler).
numToStr · Jun 1, 2023 · 8f0a1e1 · 8f0a1e1
1 parent e1fe531
commit 8f0a1e1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lua/Comment/ft.lua b/lua/Comment/ft.lua
@@ -80,6 +80,7 @@ local L = setmetatable({
     html = { M.html, M.html },
     htmldjango = { M.html, M.html },
     idris = { M.dash, M.haskell_b },
+    idris2 = { M.dash, M.haskell_b },
     ini = { M.hash },
     java = { M.cxx_l, M.cxx_b },
     javascript = { M.cxx_l, M.cxx_b },