diff --git a/home/common.nix b/home/common.nix index fe21c75d..c32623e1 100644 --- a/home/common.nix +++ b/home/common.nix @@ -36,6 +36,7 @@ in rec { (extras.challtools ps) ])) ( agda.withPackages (ps: with ps; [ standard-library cubical ]) ) + typst # jupyter # nodePackages.typescript