diff options
| author | Marvin Borner | 2022-08-17 18:09:11 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-17 18:09:11 +0200 |
| commit | 266286d108b8304efc67d64f47c1ee9d8d4b17c9 (patch) | |
| tree | c1444e9b7a3c4c5ad9a6fb6bfb50903bb8a641ed /editors | |
| parent | fee84dce1ed2ac8448b93b7bfaff934bd3c72041 (diff) | |
Added input instruction
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/vim/syntax/bruijn.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/vim/syntax/bruijn.vim b/editors/vim/syntax/bruijn.vim index 5ea9017..ef78a72 100644 --- a/editors/vim/syntax/bruijn.vim +++ b/editors/vim/syntax/bruijn.vim @@ -10,7 +10,7 @@ syn match bruijnAbstraction /[[\]]/ syn match bruijnIndex /\([^0-9]\)\@<=\d\([^0-9]\)\@=/ syn match bruijnNumber /([+-]\d\+)/ syn match bruijnDefinition /^\t*\S\+/ -syn match bruijnKeyword /:test\|:import\|:print/ +syn match bruijnKeyword /:test\|:import\|:input\|:print/ syn match bruijnNamespace /[A-Z][a-z]*\(\.\)\@=/ syn match bruijnNamespaceDelim /\([A-Z][a-z]*\)\@<=\./ |