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 | |
| parent | bc30e1601762647d7b068302242b77db59ac1b9b (diff) | |
[lean] Initial configuration for lean-mode
| -rw-r--r-- | init.el | 3 | ||||
| -rw-r--r-- | lisp/programming/lean.el | 10 |
2 files changed, 12 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")) 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) |