doomemacs/modules/lang/lean

:lang lean

• Description
  • Maintainers
  • Module flags
  • Packages
  • Hacks
  • Changelog
• Installation
• Usage
• Configuration
• Troubleshooting
• Frequently asked questions
• Appendix

Description   unfold

This module adds support for the Lean programming language to Doom Emacs. It supports Lean 4 by default (powered by doom-package:nael), with optional support for Lean 3 behind a doom-module:+v3 flag.

Maintainers

This module has no dedicated maintainers. Become a maintainer?

Module flags

+lsp

Enable LSP support for nael-mode (Lean 4). Requires doom-module::tools lsp and an LSP server (e.g. Lake). There no LSP support for Lean 3.

+v3

Include Lean 3 support, powered by doom-package:lean-mode.

Packages

• doom-package:lean-mode if doom-module:+v3
• doom-package:nael
• doom-package:nael-lsp if doom-module:+lsp + doom-module::tools lsp -eglot

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?

• Lean 4 requires the lean4 executable (and lake if LSP support is wanted) in your $PATH.
• Lean 3 requires the lean3 and leanpkg executables.
• For LSP support,

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?