Add support for Agda files

tomtom · Mar 30, 2020 · 492ce84 · 492ce84
1 parent b9a075e
commit 492ce84
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/autoload/tcomment/types/default.vim b/autoload/tcomment/types/default.vim
@@ -6,6 +6,9 @@
 
 call tcomment#type#Define('aap',              '# %s'             )
 call tcomment#type#Define('ada',              '-- %s'            )
+call tcomment#type#Define('agda',             '-- %s'            )
+call tcomment#type#Define('agda_block',       "{-%s-}\n   "      )
+call tcomment#type#Define('agda_inline',      '{- %s -}'         )
 call tcomment#type#Define('autohotkey',       '; %s'             )
 call tcomment#type#Define('apache',           '# %s'             )
 call tcomment#type#Define('applescript',      '(* %s *)'         )