/agda-vim

Agda interaction in vim

Primary LanguageVimLBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers