From 0c1cb6f77a1059b1e677e91e2519ab97e677b7ae Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 15 Jul 2022 14:55:12 +0200
Subject: [PATCH] fun is an expression not a decl

---
 syntax/beluga.vim | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/syntax/beluga.vim b/syntax/beluga.vim
index 6501737..935cae5 100644
--- a/syntax/beluga.vim
+++ b/syntax/beluga.vim
@@ -29,7 +29,7 @@ syn match belPragma /\%(%\|\<--\)\%(coverage\|warncoverage\|nostrengthen\|infix\
 hi def link belPragma Special
 
 syn keyword belDecl
-  \ LF inductive coinductive fun stratified proof schema rec and typedef
+  \ LF inductive coinductive stratified proof schema rec and typedef
 hi def link belDecl Structure
 
 syn keyword belTotal total
@@ -60,7 +60,7 @@ syn region belObjLam
   \ matchgroup=belObjLamP start=/\\/ matchgroup=belArrowEtc end=/\./ transparent
 hi def link belObjLamP Define
 
-syn keyword belMetaLam fn mlam
+syn keyword belMetaLam fn mlam fun
 hi def link belMetaLam Define
 
 syn keyword belCase case of impossible