2 files changed, 12 insertions(+), 1 deletions(-)

M init.el
A lisp/programming/lean.el

@@ 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"))

@@ 0,0 1,10 @@
+;;; lean.el -*- lexical-binding: t; -*-
+;;;
+;;; Author:  Jakob L. Kreuze <zerodaysfordays@sdf.org>
+;;; URL:     https://git.sr.ht/~jakob/.emacs.d/
+;;;
+;;; Configuration of a development environment for the Lean programming
+;;; language.
+;;;
+
+(use-package lean-mode)