call plug#begin('~/.local/.shared/nvim/plugged')

" File navigation
Plug 'scrooloose/nerdtree'

" Fuzzy file finding is great
Plug 'junegunn/fzf', { 'do': { -> fzf#install() } }
Plug 'junegunn/fzf.vim'

" Better session handling
Plug 'tpope/vim-obsession'

" git utilities
Plug 'tpope/vim-fugitive' " whose fault is it

" Language support
Plug 'sheerun/vim-polyglot' " Automatic syntax highlighting for many languages
Plug 'ntietz/tla.vim'
Plug 'fatih/vim-go'

" Markdown suppoert
Plug 'godlygeek/tabular'
Plug 'preservim/vim-markdown'
let g:vim_markdown_folding_disabled = 1
let g:vim_markdown_strikethrough = 1

" Use common config to setup tab depth
Plug 'editorconfig/editorconfig-vim'

" Make things real pretty
Plug 'flazz/vim-colorschemes'

" Completions <3
Plug 'hrsh7th/nvim-cmp', { 'branch': 'main' }
Plug 'hrsh7th/cmp-nvim-lsp', { 'branch': 'main' }
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'


call plug#end()