cek-call-cc/nix/nvim-agda/agda-vim-excerpts
2021-12-09 08:21:09 -06:00
..
autoload.vim Add Nix files + README 2021-12-09 08:21:09 -06:00
ftplugin.vim Add Nix files + README 2021-12-09 08:21:09 -06:00
LICENSE Add Nix files + README 2021-12-09 08:21:09 -06:00
README Add Nix files + README 2021-12-09 08:21:09 -06:00

autoload.vim and ftplugin.vim are mostly taken from
https://github.com/derekelkins/agda-vim, with slight modification.