From 16fdd8164c01cf2808288ca807c07c8d05855619 Mon Sep 17 00:00:00 2001
From: "Jakob L. Kreuze" <zerodaysfordays@sdf.org>
Date: Sun, 23 Oct 2022 19:40:40 -0400
Subject: [PATCH] [lean] Initial configuration for lean-mode

---
 init.el                  |  3 ++-
 lisp/programming/lean.el | 10 ++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 lisp/programming/lean.el

diff --git a/init.el b/init.el
index d6ab891..c2c63fa 100644
--- a/init.el
+++ b/init.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"))
diff --git a/lisp/programming/lean.el b/lisp/programming/lean.el
new file mode 100644
index 0000000..ad4db23
--- /dev/null
+++ b/lisp/programming/lean.el
@@ -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)
-- 
2.45.2