awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-01 12:17:25 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
doomemacs/modules/lang/lean
History
Henrik Lissner 01666572d7 fix(lean): remove company-lean 
company-lean was removed from MELPA. Since lean4 support is around the
corner and Doom has deprecated its support for Company, I'll simply
remove this package.

Ref: melpa/melpa@11196af312
Fix: #8159
2025-01-12 20:13:49 -05:00
..
.doommodule
feat: add .doommodule files
2024-09-14 20:47:39 -04:00
config.el
fix(lean): remove company-lean
2025-01-12 20:13:49 -05:00
packages.el
fix(lean): remove company-lean
2025-01-12 20:13:49 -05:00
README.org
fix(lean): remove company-lean
2025-01-12 20:13:49 -05:00

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?