Re-add Pijul

2025-10-06 06:58:41 +00:00 · 2021-11-16 21:09:55 +00:00
parent 9f6763fea7
commit e2fbaed32f
1 changed files with 2 additions and 2 deletions
--- a/home.nix
+++ b/home.nix
@@ -46,8 +46,8 @@ let dotnet = pkgs.dotnet-sdk_6; in
      pkgs.shellcheck
      pkgs.html-tidy
      pkgs.hugo
-     # pkgs.agda
-     # pkgs.pijul
+      #pkgs.agda
+      pkgs.pijul
    ];

  #programs.vscode = {