lisp/programming/lean.el


1
2
3
4
5
6
7
8
9
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)