Magda: Minimal Agda mode for Neovim
Primary LanguageVim ScriptMIT LicenseMIT
No issues in this repository yet.