README.org

:lang idris

Description

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.

Changelog

This module does not have a changelog yet.

Installation

Enable this module in your doom! block.

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

󱌣 No installation steps have been documented. Document them?

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.

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?

Appendix

󱌣 This module has no appendix yet. Write one?