GitHub repository: srghma/agda-vim
Primary language: Vim script
Description: Agda interaction in vim