diff options
| -rw-r--r-- | bruijn.cabal | 1 | ||||
| -rw-r--r-- | editors/README.md | 9 | ||||
| -rw-r--r-- | editors/vim/README.md | 17 | ||||
| -rw-r--r-- | editors/vim/ftdetect/bruijn.vim | 1 | ||||
| -rw-r--r-- | editors/vim/indent/bruijn.vim | 0 | ||||
| -rw-r--r-- | editors/vim/syntax/bruijn.vim | 42 | ||||
| -rw-r--r-- | package.yaml | 1 |
7 files changed, 69 insertions, 2 deletions
diff --git a/bruijn.cabal b/bruijn.cabal index e257734..7501764 100644 --- a/bruijn.cabal +++ b/bruijn.cabal @@ -16,7 +16,6 @@ license: MIT build-type: Simple extra-source-files: README.md - ChangeLog.md data-files: config diff --git a/editors/README.md b/editors/README.md new file mode 100644 index 0000000..57375b7 --- /dev/null +++ b/editors/README.md @@ -0,0 +1,9 @@ +# Editors + +If you don't want to use the REPL for all your experiments, you may want +to install a syntax package for one of the supported editors to reach +maximum readability. + +These are the currently supported editors: + +1. [vim](vim/) diff --git a/editors/vim/README.md b/editors/vim/README.md new file mode 100644 index 0000000..1b254ef --- /dev/null +++ b/editors/vim/README.md @@ -0,0 +1,17 @@ +# Vim syntax highlighting + +## Install manually + +Copy or symlink this directory to your vim plugins directory, e.g. using +the following command inside this directory: + + mkdir -p $HOME/.vim/pack/plugins/start/ + ln -s $PWD $HOME/.vim/pack/plugins/start/bruijn + +## Install with a plugin manager + +In this example using vim-plug (others should work similarly): + +1. Add `Plug 'marvinborner/bruijn', { 'rtp': 'editors/vim' }` to your + `.vimrc` +2. Run `:PlugInstall` diff --git a/editors/vim/ftdetect/bruijn.vim b/editors/vim/ftdetect/bruijn.vim new file mode 100644 index 0000000..30dfdf3 --- /dev/null +++ b/editors/vim/ftdetect/bruijn.vim @@ -0,0 +1 @@ +au BufRead,BufNewFile *.bruijn set filetype=bruijn diff --git a/editors/vim/indent/bruijn.vim b/editors/vim/indent/bruijn.vim new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/editors/vim/indent/bruijn.vim diff --git a/editors/vim/syntax/bruijn.vim b/editors/vim/syntax/bruijn.vim new file mode 100644 index 0000000..4782f1f --- /dev/null +++ b/editors/vim/syntax/bruijn.vim @@ -0,0 +1,42 @@ +" Vim syntax file +" Language: Bruijn + +if exists("b:current_syntax") + finish +endif + +let s:bruijn_syntax_keywords = { + \ 'bruijnInstruction' :[":test " + \ , ":import " + \ , ":print " + \ , ] + \ , } + +function! s:syntax_keyword(dict) + for key in keys(a:dict) + execute 'syntax keyword' key join(a:dict[key], ' ') + endfor +endfunction + +call s:syntax_keyword(s:bruijn_syntax_keywords) + +syntax match bruijnApplication /[()]/ +syntax match bruijnAbstraction /[[\]]/ +syntax match bruijnIndex display "\d" +syntax match bruijnDefinition /^\S\+/ + +syntax region bruijnCommentLine start="# " end="$" + +" this might be weird but because of bruijn's limited +" functionality it's okay to use the wrong constants +" for better looks +highlight default link bruijnIndex Special +highlight default link bruijnDefinition Function +highlight default link bruijnInstruction Keyword +highlight default link bruijnAbstraction Boolean +highlight default link bruijnApplication String +highlight default link bruijnCommentLine Comment + +delfunction s:syntax_keyword + +let b:current_syntax = "bruijn" diff --git a/package.yaml b/package.yaml index b3390e0..567249c 100644 --- a/package.yaml +++ b/package.yaml @@ -8,7 +8,6 @@ copyright: "2022 Marvin Borner" extra-source-files: - README.md -- ChangeLog.md data-files: - config |