doomemacs/modules/lang/agda/README.org

#+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.
Added basic agda support. 2018-08-21 12:46:29 +02:00			`#+TITLE: :lang agda`

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			`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.`