From 68d81d5c4b5d71bd20a32eb865c90eb8a7f215ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Rivera?= Date: Tue, 9 Jun 2026 20:11:13 +0200 Subject: [PATCH] mathematics: init module with lean4 --- modules/applications/mathematics.nix | 7 +++++++ modules/hosts/desktop.nix | 1 + modules/hosts/laptop.nix | 1 + 3 files changed, 9 insertions(+) create mode 100644 modules/applications/mathematics.nix diff --git a/modules/applications/mathematics.nix b/modules/applications/mathematics.nix new file mode 100644 index 0000000..2d8ce6e --- /dev/null +++ b/modules/applications/mathematics.nix @@ -0,0 +1,7 @@ +_: { + flake.nixosModules.mathematics = {pkgs, ...}: { + environment.systemPackages = with pkgs; [ + elan + ]; + }; +} diff --git a/modules/hosts/desktop.nix b/modules/hosts/desktop.nix index b46a235..fa83317 100644 --- a/modules/hosts/desktop.nix +++ b/modules/hosts/desktop.nix @@ -35,6 +35,7 @@ kdrive-desktop # we will setup this later latex ly + mathematics mullvad networking notifications diff --git a/modules/hosts/laptop.nix b/modules/hosts/laptop.nix index f6b1400..85fe064 100644 --- a/modules/hosts/laptop.nix +++ b/modules/hosts/laptop.nix @@ -36,6 +36,7 @@ kdrive-laptop latex ly + mathematics mullvad networking notifications