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 /lisp/programming | |
| parent | bc30e1601762647d7b068302242b77db59ac1b9b (diff) | |
[lean] Initial configuration for lean-mode
Diffstat (limited to 'lisp/programming')
| -rw-r--r-- | lisp/programming/lean.el | 10 |
1 files changed, 10 insertions, 0 deletions
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) |