diff --git a/syntax/beluga.vim b/syntax/beluga.vim
index 9649d01..e0a200b 100644
--- a/syntax/beluga.vim
+++ b/syntax/beluga.vim
@@ -26,7 +26,8 @@ hi def link belType Typedef
 syn match belPragma /\%(%\|\<--\)\%(coverage\|warncoverage\|nostrengthen\|infix\|prefix\|assoc\|name\|abbrev\|not\|open\)\>/
 hi def link belPragma Special
 
-syn keyword belDecl LF inductive coinductive fun stratified proof schema rec and
+syn keyword belDecl
+  \ LF inductive coinductive fun stratified proof schema rec and typedef
 hi def link belDecl Structure
 
 syn keyword belTotal total