2022-01-23 20:38:27 +01:00
|
|
|
← [[doom-module-index:][Back to module index]] ! [[doom-module-issues:::lang agda][Issues]] ↖ [[doom-repo:tree/develop/modules/lang/agda/][Github]] ± [[doom-suggest-edit:][Suggest edits]] ? [[doom-help-modules:][Help]]
|
2021-10-16 01:28:32 +02:00
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
|
#+TITLE: :lang agda
|
|
|
|
|
#+SUBTITLE: Types of types of types of types...
|
|
|
|
|
#+CREATED: August 21, 2018
|
|
|
|
|
#+SINCE: 21.12.0 (#821)
|
2018-08-21 12:46:29 +02:00
|
|
|
|
2021-10-16 01:28:32 +02:00
|
|
|
* Description :unfold:
|
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
|
2021-10-16 01:28:32 +02:00
|
|
|
exists directly in the agda repository, but not in melpa.
|
|
|
|
|
|
|
|
|
|
** Maintainers
|
|
|
|
|
/This module has no dedicated maintainers./ [[doom-contrib-maintainer:][Become a maintainer?]]
|
|
|
|
|
|
|
|
|
|
** Module flags
|
2022-04-09 18:28:48 +03:00
|
|
|
- +local ::
|
|
|
|
|
Use the =agda-mode= executable that comes with your local =agda= install.
|
2021-10-16 01:28:32 +02:00
|
|
|
|
|
|
|
|
** Packages
|
|
|
|
|
- unless [[doom-module:][+local]]
|
|
|
|
|
- [[doom-package:][agda-input]]
|
|
|
|
|
- [[doom-package:][agda2-mode]]
|
|
|
|
|
|
|
|
|
|
** Hacks
|
|
|
|
|
/No hacks documented for this module./
|
|
|
|
|
|
|
|
|
|
** TODO Changelog
|
|
|
|
|
# This section will be machine generated. Don't edit it by hand.
|
|
|
|
|
/This module does not have a changelog yet./
|
|
|
|
|
|
|
|
|
|
* Installation
|
|
|
|
|
[[id:01cffea4-3329-45e2-a892-95a384ab2338][Enable this module in your ~doom!~ block.]]
|
|
|
|
|
|
|
|
|
|
/This module has no external requirements./
|
|
|
|
|
|
|
|
|
|
* TODO Usage
|
|
|
|
|
#+begin_quote
|
|
|
|
|
🔨 This module has no usage documentation yet. [[doom-contrib-module:][Write some?]]
|
|
|
|
|
#+end_quote
|
|
|
|
|
|
|
|
|
|
* TODO Configuration
|
|
|
|
|
#+begin_quote
|
|
|
|
|
🔨 This module has no configuration documentation yet. [[doom-contrib-module:][Write some?]]
|
|
|
|
|
#+end_quote
|
|
|
|
|
|
|
|
|
|
* Troubleshooting
|
|
|
|
|
/There are no known problems with this module./ [[doom-report:][Report one?]]
|
|
|
|
|
|
|
|
|
|
* Frequently asked questions
|
|
|
|
|
/This module has no FAQs yet./ [[doom-suggest-faq:][Ask one?]]
|
|
|
|
|
|
|
|
|
|
* TODO Appendix
|
|
|
|
|
#+begin_quote
|
|
|
|
|
🔨 This module has no appendix yet. [[doom-contrib-module:][Write one?]]
|
|
|
|
|
#+end_quote
|
