From f248ccb9099aeb6a14098580cbe088076b0168e3 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Tue, 4 Jan 2022 16:34:40 +0100 Subject: [PATCH] add 'proof' keyword --- syntax/idris2.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/syntax/idris2.vim b/syntax/idris2.vim index d79f779..a8b2044 100644 --- a/syntax/idris2.vim +++ b/syntax/idris2.vim @@ -23,7 +23,7 @@ syn keyword idrisVisibility public abstract private export syn keyword idrisBlock parameters mutual using syn keyword idrisTotality total partial covering syn keyword idrisAnnotation auto impossible default constructor -syn keyword idrisStatement do case of rewrite with +syn keyword idrisStatement do case of rewrite with proof syn keyword idrisLet let in syn keyword idrisForall forall syn keyword idrisDataOpt noHints uniqueSearch search external noNewtype containedin=idrisBrackets