You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+11-20Lines changed: 11 additions & 20 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -35,8 +35,16 @@ Here's an example doing so with [lazy.nvim](https://github.com/folke/lazy.nvim):
35
35
dependencies= {
36
36
'neovim/nvim-lspconfig',
37
37
'nvim-lua/plenary.nvim',
38
-
-- you also will likely want a completion engine
39
-
-- Saghen/blink.cmp or hrsh7th/nvim-cmp are two popular options.
38
+
39
+
-- optional dependencies:
40
+
41
+
-- 'andymass/vim-matchup', -- for enhanced % motion behavior
42
+
-- 'andrewradev/switch.vim', -- for switch support
43
+
-- 'tomtom/tcomment_vim', -- for commenting
44
+
-- 'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
45
+
46
+
-- a completion engine
47
+
-- hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices
40
48
},
41
49
42
50
---@typelean.Config
@@ -46,24 +54,6 @@ Here's an example doing so with [lazy.nvim](https://github.com/folke/lazy.nvim):
46
54
}
47
55
```
48
56
49
-
or with [vim-plug](https://github.com/junegunn/vim-plug):
50
-
51
-
```vim
52
-
Plug 'Julian/lean.nvim'
53
-
Plug 'neovim/nvim-lspconfig'
54
-
Plug 'nvim-lua/plenary.nvim'
55
-
56
-
" Optional Dependencies:
57
-
58
-
Plug 'hrsh7th/nvim-cmp' " For LSP completion
59
-
Plug 'hrsh7th/cmp-nvim-lsp'
60
-
Plug 'hrsh7th/cmp-buffer'
61
-
Plug 'hrsh7th/vim-vsnip' " For snippets
62
-
Plug 'andrewradev/switch.vim' " For Lean switch support
63
-
Plug 'tomtom/tcomment_vim' " For commenting motions
64
-
Plug 'nvim-telescope/telescope.nvim' " For Loogle search
65
-
```
66
-
67
57
`lean.nvim` supports the latest stable neovim release (currently `0.10.x`) as well as the latest nightly.
68
58
If you are on an earlier version of neovim, e.g. `0.9.5`, you can have your plugin manager install the [`nvim-0.9` tag](https://github.com/Julian/lean.nvim/releases/tag/nvim-0.9) until you upgrade.
69
59
@@ -82,6 +72,7 @@ If you are on an earlier version of neovim, e.g. `0.9.5`, you can have your plug
82
72
- If [satellite.nvim](https://github.com/lewis6991/satellite.nvim) is present an extension is registered for showing progress information for the whole document.
83
73
Otherwise, we show progress information in the sign column.
84
74
75
+
-[vim-matchup](https://github.com/andymass/vim-matchup) definitions for Lean
85
76
-[switch.vim](https://github.com/AndrewRadev/switch.vim/) base definitions for Lean
86
77
- If [telescope.nvim](https://github.com/nvim-telescope/telescope.nvim) is present, a `:Telescope loogle` command is available as a frontend for the [Loogle](https://loogle.lean-lang.org) JSON API.
87
78
- Simple snippets (in [VSCode-compatible format](https://code.visualstudio.com/docs/editor/userdefinedsnippets#_snippet-syntax), usable with e.g. [vim-vsnip](https://github.com/hrsh7th/vim-vsnip))
0 commit comments