neovim

Neovim text editor
git clone https://git.dasho.dev/neovim.git
Log | Files | Refs | README

lidris2.vim (804B)

      1 " Vim syntax file
      2 " Language:    Literate Idris 2
      3 " Maintainer:  Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com>
      4 " Last Change: 2020 May 19
      5 " Version:     0.1
      6 " License:     Vim (see :h license)
      7 " Repository:  https://github.com/ShinKage/idris2-nvim
      8 "
      9 " This is just a minimal adaption of the Literate Haskell syntax file.
     10 
     11 " quit when a syntax file was already loaded
     12 if exists("b:current_syntax")
     13  finish
     14 endif
     15 
     16 " Read Idris highlighting.
     17 syntax include @idris2Top syntax/idris2.vim
     18 
     19 " Recognize blocks of Bird tracks, highlight as Idris.
     20 syntax region lidris2BirdTrackBlock start="^>" end="\%(^[^>]\)\@=" contains=@idris2Top,lidris2BirdTrack
     21 syntax match  lidris2BirdTrack "^>" contained
     22 
     23 hi def link   lidris2BirdTrack Comment
     24 
     25 let b:current_syntax = "lidris2"