michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
csci8980-f21/nix/nvim-agda/agda-vim-excerpts
History
Exact
Michael Zhang d24d992786
fuck agda
2021-10-13 00:12:38 -05:00
..
autoload.vim fuck agda 2021-10-13 00:12:38 -05:00
ftplugin.vim nix shit 2021-10-07 12:14:53 -05:00
LICENSE nix shit 2021-10-07 12:14:53 -05:00
README nix shit 2021-10-07 12:14:53 -05:00

README 

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