Frans Bergman
9dc3fdd4d0
[init.vim] Add nvim-agda plugin to neovim
|
2 лет назад | |
|---|---|---|
| .. | ||
| init.vim | 2 лет назад | |
|
Frans Bergman
9dc3fdd4d0
[init.vim] Add nvim-agda plugin to neovim
|
2 лет назад | |
|---|---|---|
| .. | ||
| init.vim | 2 лет назад | |