emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Added basic agda support.

Browse source
This commit is contained in:
Patrick Elliott 2018-08-21 12:46:29 +02:00
parent 9e08620350
commit b3a83daf5f
No known key found for this signature in database
GPG key ID: 7CA109C3974AF5FA
3 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
modules/lang/agda/README.org Normal file
View file

@ -0,0 +1,9 @@
#+TITLE: :lang agda
This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language.
Emacs support is included in the agda release (you can find installation
instructions [[https://agda.readthedocs.io/en/latest/getting-started/installation.html][here]]). This module attempts to find the location of ~agda2.el~ via
the ~agda-mode locate~ command that comes with the agda release. Users can set
this manually by setting the ~+agda2-dir~ variable.