History

Henrik Lissner 037b018cdd feat: add .doommodule files These optional dotfiles indicate the root of a module or module group (:lang), and will later contain module metadata. They will also serve as an alternative to packages.el and doctor.el, and will aide the parts of the v3.0 module API concerned with resolving the current module from a path (`doom-module-from-path`), which currently rely too heavily on parsing path strings. For now, however, they're simply placeholders.		2024-09-14 20:47:39 -04:00
..
.doommodule	feat: add .doommodule files	2024-09-14 20:47:39 -04:00
config.el	fix(idris): add ".ibc" to completion-ignored-extensions	2024-09-10 17:05:29 -04:00
doctor.el	docs(idris): add doctor.el	2024-01-27 03:16:06 -05:00
packages.el	bump: :lang	2024-09-07 19:04:37 -04:00
README.org	docs(idris): +lsp and idris2 compatibility	2024-09-10 17:16:29 -04:00

README.org

:lang idris

Description
- Maintainers
- Module flags
- Packages
- Hacks
- Changelog
Installation
Usage
Configuration
- Support for Idris 2
Troubleshooting
Frequently asked questions
Appendix

Description unfold

This module adds rudimentary Idris support to Doom Emacs.

Maintainers

This module needs a maintainer. Become a maintainer?

Module flags

+lsp: Enable LSP support for idris-mode. Requires doom-module::tools lsp and idris2-lsp.

Packages

doom-package:idris-mode

Hacks

No hacks documented for this module.

TODO Changelog

This module does not have a changelog yet.

TODO Installation

Enable this module in your doom! block.

For doom-module:+lsp, idris2-lsp is required.

󱌣 No installation steps have been documented. Document them?

TODO Usage

󱌣 This module's usage documentation is incomplete. Complete it?

In addition to idris-mode goodness, this module adds frequently used functions under the <localleader> key.

TODO Configuration

󱌣 This module's configuration documentation is incomplete. Complete it?

Support for Idris 2

While doom-package:idris-mode was designed for v1 of the IDE-Protocol of Idris, it tries to maintain compatibility with v2. However, not all the features have been realized, so expect a little jank.

To get this working, simply set var:idris-interpreter-path to the path of the idris2 executable. E.g.

;;; add to $DOODMIR/config.el
(after! idris-mode
  (setq idris-interpreter-path "idris2"))

Troubleshooting

There are no known problems with this module. Report one?

Frequently asked questions

This module has no FAQs yet. Ask one?

TODO Appendix

󱌣 This module has no appendix yet. Write one?