awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-08 15:23:35 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
bc13b4a5c22b322b29c8709efb55054e2a638d96
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