Merge remote-tracking branch 'refs/remotes/origin/main'

This commit is contained in:
xenia 2023-12-06 20:08:18 +01:00
commit b8c95a37ef
2 changed files with 2 additions and 2 deletions

View File

@ -18,7 +18,7 @@
welcomeText = "mjau λλλ"; welcomeText = "mjau λλλ";
}; };
templates.jupyter = { templates.jupyter = {
path = ./haskell; path = ./jupyter;
description = "A jupyter flake, with a custom haskell kernel and proper pdflatex LaTeX export supoprt"; description = "A jupyter flake, with a custom haskell kernel and proper pdflatex LaTeX export supoprt";
welcomeText = "mjau 🐍🐍🐍"; welcomeText = "mjau 🐍🐍🐍";
}; };

View File

@ -45,7 +45,7 @@
''; '';
}; };
python-environment = (pkgs.python310.withPackages (ps: with ps; [ python-environment = (python.withPackages (ps: with ps; [
ipympl numpy matplotlib scipy ipympl numpy matplotlib scipy
jupyter-core jupyter jupyter-core jupyter