From d4fe9f4aa7b249dfe62b4204b661391e87c9eca8 Mon Sep 17 00:00:00 2001
From: Michal <m.i@gmx.at>
Date: Wed, 20 Oct 2021 15:38:05 +0200
Subject: add agda

---
 vim-new/init.vim | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/vim-new/init.vim b/vim-new/init.vim
index f2fddd6..5168efe 100644
--- a/vim-new/init.vim
+++ b/vim-new/init.vim
@@ -1,5 +1,5 @@
 " Miguel's Fresh Neovim Config
-" 29th Apr 2021 - 01st July 2021
+" 29th Apr 2021 - ...
 "
 " link from ~/.config/nvim/init.vim
 " 1. install vim-plug
@@ -34,15 +34,20 @@ Plug 'autozimu/LanguageClient-neovim', { 'branch': 'next', 'do': 'bash install.s
 Plug 'vim-airline/vim-airline'
 Plug 'vim-airline/vim-airline-themes'
 
+Plug 'christoomey/vim-tmux-navigator'
+
 " Plug 'rafi/awesome-vim-colorschemes'
 Plug 'jnurmine/Zenburn'
+" try community gruvbox?
 
 " haskell related
 Plug 'neovimhaskell/haskell-vim'
 Plug 'alx741/vim-stylishask'
 Plug 'ndmitchell/ghcid', { 'rtp': 'plugins/nvim' }
 
-Plug 'christoomey/vim-tmux-navigator'
+" agda
+Plug 'derekelkins/agda-vim' " requires python2 / pip2 :(
+" try language-server as well
 
 call plug#end()
 " }}}
-- 
cgit v1.2.3