cristiancmoises
/
zero
mirror of https://codeberg.org/anemofilia/zero
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

radio: manifests: emacs: Add emacs-lean4-mode

impermanence
Luis Guilherme Coelho 2024-06-13 14:23:30 -03:00
parent ec83629b44
commit 927725532c
No known key found for this signature in database
GPG Key ID: 1F2E76ACE3F531C8
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
home-environments/radio/manifests/emacs.scm
View File

@ -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