From 492ce840c2c24c0ace55ce415f853e6ca740cf01 Mon Sep 17 00:00:00 2001 From: Akiomi KAMAKURA Date: Tue, 31 Mar 2020 04:10:32 +0900 Subject: [PATCH] Add support for Agda files --- autoload/tcomment/types/default.vim | 3 +++ 1 file changed, 3 insertions(+) diff --git a/autoload/tcomment/types/default.vim b/autoload/tcomment/types/default.vim index 3b7360d..2797541 100644 --- 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 *)' )