awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-23 14:03:44 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
aefb0672b4f41ae284dad753f86143c6f35fcad6
doomemacs/modules/lang/agda/README.org
Rudi Grinberg cd1783ed8e Fix wiki for agda 
we no longer use agda-mode locate

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-06 12:39:25 +09:00

208 B
Raw Blame History

:lang agda

This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.

Reference in New Issue View Git Blame Copy Permalink