Add Idris, remove Lean

bash/.profile

@@ -27,7 +27,7 @@ if [ -d "$HOME/.local/bin" ] ; then
 fi
 . "$HOME/.cargo/env"
 
-# set path so it includes elan if it exists
+# set path so it includes cabal bin if it exists
-if [ -d "$HOME/.elan/bin" ]; then
+if [ -d "$HOME/.cabal/bin" ]; then
-    PATH="$HOME/.elan/bin:$PATH"
+    PATH="$HOME/.cabal/bin:$PATH"
 fi

nvim/.config/nvim/init.vim

@@ -3,7 +3,6 @@ let $FZF_DEFAULT_COMMAND='rg --files --follow --hidden -g "!{node_modules/*,.git
 source $HOME/.config/nvim/plug/plug.vim
 source $HOME/.config/nvim/plugs.vim
 
-source $HOME/.config/nvim/lean.lua
 source $HOME/.config/nvim/rust.lua
 source $HOME/.config/nvim/completion.lua
 

nvim/.config/nvim/lean.lua

@@ -1,4 +0,0 @@
-require('lean').setup{
-  abbreviations = { builtin = true },
-  mappings = true,
-}

nvim/.config/nvim/plugs.vim

@@ -39,13 +39,13 @@ Plug 'hrsh7th/cmp-buffer', { 'branch': 'main' }
 " Rust support
 Plug 'simrat39/rust-tools.nvim'
 
-" Lean theorem prover support
 Plug 'neovim/nvim-lspconfig'
 Plug 'nvim-lua/plenary.nvim'
-Plug 'Julian/lean.nvim'
 
 " Coq support
 Plug 'whonore/Coqtail'
 
+" Idris support
+Plug 'idris-hackers/idris-vim'
 
 call plug#end()