agda-lib-vim This plugin provides syntax highlighting for .agda-lib files. Installation Using vim-plug: Plug 'vmchale/agda-lib-vim'