mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2025-12-06 02:30:33 -08:00
Code Issues Projects Releases Wiki Activity

docs: clarify that the lean module is for lean3

Browse source
This commit is contained in:
Zaz Brown 2025-02-16 12:31:35 +00:00 • committed by GitHub
parent 2bc052425c
commit 0569715027
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
static/init.example.el
View file

@ -145,7 +145,7 @@
;;julia ; a better, faster MATLAB
;;kotlin ; a better, slicker Java(Script)
;;latex ; writing papers in Emacs has never been so fun
;;lean ; for folks with too much to prove
;;lean ; for the OBSOLETE Lean 3
;;ledger ; be audit you can be
;;lua ; one-based indices? one-based indices
markdown ; writing docs for people to ignore