Add lean to init.example.el

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2025-08-01 12:17:25 -05:00 · 2019-09-10 09:50:21 +09:00
parent 8778eb2288
commit bba0e1cb79
1 changed files with 1 additions and 0 deletions
--- a/init.example.el
+++ b/init.example.el
@ -118,6 +118,7 @@
       ;;julia             ; a better, faster MATLAB
       ;;kotlin            ; a better, slicker Java(Script)
       ;;latex             ; writing papers in Emacs has never been so fun
+       ;;lean
       ;;ledger            ; an accounting system in Emacs
       ;;lua               ; one-based indices? one-based indices
       markdown          ; writing docs for people to ignore