mirror of
https://github.com/doomemacs/doomemacs.git
synced 2025-12-27 12:21:39 -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.