This module adds rudimentary Idris support to Doom Emacs.
This module needs a maintainer. Become a maintainer?
This module has no flags.
- doom-package:idris-mode
No hacks documented for this module.
This module does not have a changelog yet.
Enable this module in your doom! block.
🔨 No installation steps have been documented. Document them?
🔨 This module’s usage documentation is incomplete. Complete it?
In addition to idris-mode goodness, adds frequently used functions under the
<localleader> key.
🔨 This module has no configuration documentation yet. Write some?
There are no known problems with this module. Report one?
This module has no FAQs yet. Ask one?
🔨 This module has no appendix yet. Write one?