From 772dc1ae0fc52b37d8172b1078629311c6394a7f Mon Sep 17 00:00:00 2001 From: Rhiannon Morris Date: Sat, 13 Jun 2020 02:03:19 +0200 Subject: [PATCH] add typedef --- syntax/beluga.vim | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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