mirror of
https://github.com/doomemacs/doomemacs.git
synced 2026-01-01 23:02:58 -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.