ad6a3d0f33
featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition. |
||
|---|---|---|
| .. | ||
| config.el | ||
| packages.el | ||
| README.org | ||
:lang lean
Description unfold
This module adds support for the Lean programming language to Doom Emacs.
Maintainers
This module has no dedicated maintainers. Become a maintainer?
Module flags
This module has no flags.
Packages
TODO Hacks
🔨 This module's hacks haven't been documented yet. Document them?
TODO Changelog
This module does not have a changelog yet.
TODO Installation
Enable this module in your doom! block.
🔨 This module's prerequisites are not documented. Document them?
TODO Usage
🔨 This module has no usage documentation yet. Write some?
TODO Configuration
🔨 This module has no configuration documentation yet. Write some?
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?