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 *)'         )