Frans Bergman
9dc3fdd4d0
[init.vim] Add nvim-agda plugin to neovim
|
%!s(int64=2) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| init.vim | %!s(int64=2) %!d(string=hai) anos | |
|
Frans Bergman
9dc3fdd4d0
[init.vim] Add nvim-agda plugin to neovim
|
%!s(int64=2) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| init.vim | %!s(int64=2) %!d(string=hai) anos | |