mirror of
https://github.com/doomemacs/doomemacs.git
synced 2026-01-02 07:11:59 -08:00
:lang agda
This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.