diff options
| author | Jakob L. Kreuze | 2022-10-23 19:40:40 -0400 |
|---|---|---|
| committer | Jakob L. Kreuze | 2022-10-23 19:42:47 -0400 |
| commit | 16fdd8164c01cf2808288ca807c07c8d05855619 (patch) | |
| tree | deb698089be99442a96444ffde9c44e13809ddbe /init.el | |
| parent | bc30e1601762647d7b068302242b77db59ac1b9b (diff) | |
[lean] Initial configuration for lean-mode
Diffstat (limited to 'init.el')
| -rw-r--r-- | init.el | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -199,4 +199,5 @@ (load-module "programming/graphql") (load-module "programming/python") (load-module "programming/lua") - (load-module "programming/haskell")) + (load-module "programming/haskell") + (load-module "programming/lean")) |