From 657cf3a87b39c692ab0f372bf84cd3cf004d2c13 Mon Sep 17 00:00:00 2001
From: Nicole Tietz-Sokolskaya <me@ntietz.com>
Date: Wed, 9 Nov 2022 15:01:15 -0500
Subject: [PATCH] Add Idris, remove Lean

---
 bash/.profile               | 6 +++---
 nvim/.config/nvim/init.vim  | 1 -
 nvim/.config/nvim/lean.lua  | 4 ----
 nvim/.config/nvim/plugs.vim | 4 ++--
 4 files changed, 5 insertions(+), 10 deletions(-)
 delete mode 100644 nvim/.config/nvim/lean.lua

diff --git a/bash/.profile b/bash/.profile
index 957010f..e0d90c5 100644
--- a/bash/.profile
+++ b/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
-if [ -d "$HOME/.elan/bin" ]; then
-    PATH="$HOME/.elan/bin:$PATH"
+# set path so it includes cabal bin if it exists
+if [ -d "$HOME/.cabal/bin" ]; then
+    PATH="$HOME/.cabal/bin:$PATH"
 fi
diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim
index 5278560..23a334c 100644
--- a/nvim/.config/nvim/init.vim
+++ b/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
 
diff --git a/nvim/.config/nvim/lean.lua b/nvim/.config/nvim/lean.lua
deleted file mode 100644
index c58e8e9..0000000
--- a/nvim/.config/nvim/lean.lua
+++ /dev/null
@@ -1,4 +0,0 @@
-require('lean').setup{
-  abbreviations = { builtin = true },
-  mappings = true,
-}
diff --git a/nvim/.config/nvim/plugs.vim b/nvim/.config/nvim/plugs.vim
index 273a14f..8f911c2 100644
--- a/nvim/.config/nvim/plugs.vim
+++ b/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()