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 години | |