From 927725532c259b4b8b6f84567c4ff041a1473af3 Mon Sep 17 00:00:00 2001 From: Luis Guilherme Coelho Date: Thu, 13 Jun 2024 14:23:30 -0300 Subject: [PATCH] radio: manifests: emacs: Add emacs-lean4-mode --- home-environments/radio/manifests/emacs.scm | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/home-environments/radio/manifests/emacs.scm b/home-environments/radio/manifests/emacs.scm index e811567..fe08df3 100644 --- a/home-environments/radio/manifests/emacs.scm +++ b/home-environments/radio/manifests/emacs.scm @@ -1,11 +1,10 @@ - - (define-module (home-environments radio manifests emacs) #:use-module (guix profiles) #:use-module (gnu packages emacs) #:use-module (gnu packages emacs-xyz) #:use-module (gnu packages guile-xyz) #:use-module (gnu packages mail) + #:use-module (radix packages emacs-xyz) #:export (packages:emacs packages:all packages:blogging @@ -14,6 +13,7 @@ packages:file-managing packages:guile packages:guix + packages:mathematics packages:misc packages:modal-editing packages:org @@ -56,6 +56,9 @@ (list #|irc |# emacs-circe #|mail|# emacs-notmuch)) +(define packages:mathematics + (list emacs-lean4-mode)) + (define packages:org (list emacs-org-bullets emacs-org-fragtog emacs-org-present emacs-org-roam emacs-org-modern)) @@ -79,6 +82,7 @@ packages:file-managing packages:guile packages:guix + packages:mathematics packages:misc packages:modal-editing packages:org