diff options
| -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) |