/agda-vim

Agda interaction in vim

Primary LanguageVim ScriptBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Issues