mirror of
https://github.com/doomemacs/doomemacs.git
synced 2026-04-27 15:20:52 -07:00
|
…
|
||
|---|---|---|
| .. | ||
| config.el | ||
| packages.el | ||
| README.org | ||
:lang agda
This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.