rhi/idris2-vim
1
0
Fork 0
Code Issues Pull requests Releases Activity

abstract isn't reserved

Browse source
This commit is contained in:
rhiannon morris 2023-02-25 16:45:17 +01:00
parent 2b35029bde
commit f89aa275a1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
syntax/idris2.vim
View file

@ -19,7 +19,7 @@ syn keyword idrisModule module namespace
syn keyword idrisImport import syn keyword idrisImport import
syn keyword idrisStructure data record interface implementation syn keyword idrisStructure data record interface implementation
syn keyword idrisWhere where syn keyword idrisWhere where
syn keyword idrisVisibility public abstract private export syn keyword idrisVisibility public private export
syn keyword idrisBlock parameters mutual using syn keyword idrisBlock parameters mutual using
syn keyword idrisTotality total partial covering syn keyword idrisTotality total partial covering
syn keyword idrisAnnotation auto impossible default constructor syn keyword idrisAnnotation auto impossible default constructor