mirror of https://github.com/doomemacs/doomemacs.git synced 2026-03-10 08:41:32 -07:00

History

Henrik Lissner 3ce5d96e0a bump: :lang ShuguangSun/ess-view-data@5ec1c7206f -> ShuguangSun/ess-view-data@7dcbd23d4c agda/agda@0d52fa2217 -> agda/agda@bb9e13d970 ardumont/markdown-toc@d3324cb6bc -> ardumont/markdown-toc@29e5c0f33e atomontage/xterm-color@ce82e87ea3 -> atomontage/xterm-color@86fab1d247 babashka/neil@0b7373dd1b -> babashka/neil@8d5ccdbd81 clojure-emacs/cider@fb7aa88812 -> clojure-emacs/cider@15bd3b0265 clojure-emacs/clojure-mode@28dc02114a -> clojure-emacs/clojure-mode@4679222109 crystal-lang-tools/emacs-crystal-mode@d913fea6f0 -> crystal-lang-tools/emacs-crystal-mode@559e1d8ff9 davazp/graphql-mode@ee49531935 -> davazp/graphql-mode@ef757c6ce2 emacs-ess/ESS@7b9123669c -> emacs-ess/ESS@f8c464dc1b emacs-geiser/gauche@9eb8b35f0c -> emacs-geiser/gauche@b8197c6288 emacs-geiser/geiser@43b9a034aa -> emacs-geiser/geiser@8842104d15 emacs-lsp/lsp-treemacs@3e5550f278 -> emacs-lsp/lsp-treemacs@49df7292c5 emacs-php/composer.el@eba6b953a4 -> emacs-php/composer.el@8cb5704edd emacs-straight/auctex@a6f4741c22 -> emacs-straight/auctex@077874d25a emacsmirror/cmake-mode@b08b5d9045 -> emacsmirror/cmake-mode@25340a7d12 emacsorphanage/dart-mode@9fbf703e1f -> emacsorphanage/dart-mode@773e9ebc74 emacsorphanage/ox-pandoc@5766c70b6d -> emacsorphanage/ox-pandoc@1caeb56a4b emacsorphanage/restclient@426507f8f7 -> emacsorphanage/restclient@1800a4e367 erlang/otp@e281016db9 -> erlang/otp@2b2b39797f fxbois/web-mode@1eb0abb1a9 -> fxbois/web-mode@1e7694aee8 gcv/julia-snail@7b50882f5a -> gcv/julia-snail@5a7e2d479c godotengine/emacs-gdscript-mode@79739fc80f -> godotengine/emacs-gdscript-mode@248b73b1bd greghendershott/racket-mode@d98852ef6d -> greghendershott/racket-mode@150b057953 hhvm/hack-mode@0addbff8b6 -> hhvm/hack-mode@86a981bd7b https://codeberg.org/pranshu/haskell-ts-mode@b7db74c7fe96 -> https://codeberg.org/pranshu/haskell-ts-mode@bf143ee8382f joaotavora/sly@6a303bae74 -> joaotavora/sly@b01993cf1d ledger/ledger-mode@1cee636788 -> ledger/ledger-mode@9ab399186f magit/orgit-forge@15f8e91083 -> magit/orgit-forge@c2116b8701 (v1.1.1) magit/orgit@e0b3fca9f3 -> magit/orgit@24c8fe48c4 (v2.1.1) mekeor/nael@101726eb47 -> mekeor/nael@9711443449 minad/org-modern@55b5bbeb1e -> minad/org-modern@9bbc44cc7e nonsequitur/inf-ruby@b8076aad10 -> nonsequitur/inf-ruby@274398a242 ocaml/dune@a40c461736 -> ocaml/dune@14df34d30d ocaml/merlin@ecfbed3976 -> ocaml/merlin@a0b096c243 oer/org-re-reveal@72c2463782 -> oer/org-re-reveal@8245facfdc org-noter/org-noter@aafa08a49c -> org-noter/org-noter@81765d267e org-roam/org-roam@b2634a17f8 -> org-roam/org-roam@c72702cf27 polymode/polymode@25ba9463a4 -> polymode/polymode@14b1fd8d2a rust-lang/rust-mode@2d31814676 -> rust-lang/rust-mode@ae161dca23 wbolster/emacs-python-pytest@ed2ecee09d -> wbolster/emacs-python-pytest@78b5ea1d19 weijiangan/flycheck-golangci-lint@38cc30eb8b -> weijiangan/flycheck-golangci-lint@f7e36e19d6 Close: #8624		2026-01-18 03:13:00 -05:00
..
.doommodule
config.el	fix(lean): lean-* keybinds for nael-mode	2025-12-31 00:00:33 -05:00
doctor.el	docs(lean): add doctor checks	2025-12-31 20:03:00 -05:00
packages.el	bump: :lang	2026-01-18 03:13:00 -05:00
README.org

README.org

: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?