diff options
| author | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-03-26 01:05:01 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-03-26 01:05:01 +0100 |
| commit | 169894151fdcde249ba6e2c248b3e894f74eaa15 (patch) | |
| tree | 82a78aae315e665c37c71f01e8b2330a2997a629 | |
| parent | e548e4c4f9dae18f7be1cdcee6e65a43371b0d80 (diff) | |
| download | guix-169894151fdcde249ba6e2c248b3e894f74eaa15.tar.gz guix-169894151fdcde249ba6e2c248b3e894f74eaa15.zip | |
gnu: Add emacs-lean4-mode.
* gnu/packages/emacs-xyz.scm (emacs-lean4-mode): New variable.
Change-Id: I787e4debe890f1f18c2bbdf8ee4334c4e46433eb
| -rw-r--r-- | gnu/packages/emacs-xyz.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 78e342e5f9..da30b4776c 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -3013,6 +3013,29 @@ replacement.") programs.") (license license:gpl3+))) +(define-public emacs-lean4-mode + (package + (name "emacs-lean4-mode") + (version "1.1.2") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/leanprover-community/lean4-mode.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1i4l614n0hs02y0a4xfnzc4xkilkp6bzx28pys4jkp96vp2ivf0c")))) + (build-system emacs-build-system) + ;; TODO: Just emacs-magit-section instead of emacs-magit would be enough. + (propagated-inputs + (list emacs-compat emacs-lsp-mode emacs-dash emacs-magit)) + (synopsis "Lean 4 major mode for Emacs") + (description "This package provides a major mode for the Lean theorem +prover, version 4.") + (home-page "https://lean-lang.org/") + (license license:asl2.0))) + (define-public emacs-dante (package (name "emacs-dante") |