GitHub repository: pedrominicz/magda
Primary language: Vim script
Description: Magda: Minimal Agda mode for Neovim