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?