mirror of
https://github.com/doomemacs/doomemacs.git
synced 2025-12-28 12:52:11 -08:00
4 lines
208 B
Org Mode
4 lines
208 B
Org Mode
#+TITLE: :lang agda
|
|
|
|
This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language. The Emacs support
|
|
exists directly in the agda repository but not in melpa.
|